diff --git a/build/jam/board/verdex/BoardSetup b/build/jam/board/verdex/BoardSetup
index 4838ab3758..1909f1641e 100644
--- a/build/jam/board/verdex/BoardSetup
+++ b/build/jam/board/verdex/BoardSetup
@@ -65,9 +65,9 @@ HAIKU_BOARD_SDIMAGE_FILES =
 # gcc flags for the specific cpu
 #
 
-TARGET_KERNEL_CCFLAGS += -mcpu=xscale -mfloat-abi=soft ;
-TARGET_KERNEL_C++FLAGS += -mcpu=xscale -mfloat-abi=soft ;
-TARGET_CCFLAGS += -mcpu=xscale -mfloat-abi=soft ;
-TARGET_C++FLAGS += -mcpu=xscale -mfloat-abi=soft ;
+TARGET_KERNEL_CCFLAGS += -mcpu=xscale ;
+TARGET_KERNEL_C++FLAGS += -mcpu=xscale ;
+TARGET_CCFLAGS += -mcpu=xscale ;
+TARGET_C++FLAGS += -mcpu=xscale ;