Index: kernel/arch/arm32/Makefile.inc
===================================================================
--- kernel/arch/arm32/Makefile.inc	(revision de36fdd14b85a7e8805af1d78bcc5cb399e15335)
+++ kernel/arch/arm32/Makefile.inc	(revision 7e87436b47fe77e9b7b3c41d0b98ac95f883aaec)
@@ -34,4 +34,8 @@
 
 GCC_CFLAGS += -fno-omit-frame-pointer -mapcs-frame -march=$(subst _,-,$(PROCESSOR)) -mno-unaligned-access
+
+ifeq ($(MACHINE),beagleboardxm)
+GCC_CFLAGS += -mcpu=cortex-a8
+endif
 
 ifeq ($(CONFIG_FPU),y)