diff --git a/build/jam/board/verdex/BoardSetup b/build/jam/board/verdex/BoardSetup
index 4d56beefbb..fb3e69f509 100644
--- a/build/jam/board/verdex/BoardSetup
+++ b/build/jam/board/verdex/BoardSetup
@@ -68,10 +68,11 @@ HAIKU_BOARD_SDIMAGE_FILES =
 # gcc flags for the specific cpu
 #
 
-HAIKU_KERNEL_CCFLAGS += -mcpu=xscale ;
-HAIKU_KERNEL_C++FLAGS += -mcpu=xscale ;
-HAIKU_CCFLAGS += -mcpu=xscale ;
-HAIKU_C++FLAGS += -mcpu=xscale ;
+HAIKU_KERNEL_CCFLAGS += -mcpu=xscale -D__XSCALE__ ;
+HAIKU_KERNEL_C++FLAGS += -mcpu=xscale -D__XSCALE__ ;
+HAIKU_CCFLAGS += -mcpu=xscale -D__XSCALE__ ;
+HAIKU_C++FLAGS += -mcpu=xscale -D__XSCALE__ ;
+TARGET_ASFLAGS += -mcpu=xscale -D__XSCALE__ ;
 
 # Workaround for ld using 32k for alignment despite forcing it in the config...
 # should definitely not be needed!