Index: kernel/arch/arm32/Makefile.inc
===================================================================
--- kernel/arch/arm32/Makefile.inc	(revision 83742a46cfd6908fb9c4649eafb0351be083ae90)
+++ 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)