Add missing stm32f4discovery make targets

src/drivers/boards/px4-stm32f4discovery/px4discovery_init.c

@@ -129,18 +129,6 @@ stm32_boardinitialize(void)
 
 #include <math.h>
 
-#ifdef __cplusplus
-__EXPORT int matherr(struct __exception *e)
-{
-	return 1;
-}
-#else
-__EXPORT int matherr(struct exception *e)
-{
-	return 1;
-}
-#endif
-
 __EXPORT int nsh_archinitialize(void)
 {
 

src/firmware/nuttx/CMakeLists.txt

@@ -51,7 +51,7 @@ if(NOT ${BOARD} STREQUAL "sim")
 		)
 	if (config_io_board)
 	    add_dependencies(romfs fw_io)
-    endif()
+	endif()
 	set(fw_file
 		${CMAKE_CURRENT_BINARY_DIR}/${OS}-${BOARD}-${LABEL}.px4)