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