Index: kernel/arch/arm32/src/machine_func.c
===================================================================
--- kernel/arch/arm32/src/machine_func.c	(revision f92976f9995a9c61772c6381e0c90c7b84561fff)
+++ kernel/arch/arm32/src/machine_func.c	(revision 47d2ca977dd4d30de1bd6680037e3db92762dbb8)
@@ -42,4 +42,5 @@
 #include <arch/mach/integratorcp/integratorcp.h>
 #include <arch/mach/testarm/testarm.h>
+#include <arch/mach/beagleboardxm/beagleboardxm.h>
 #include <arch/mach/beaglebone/beaglebone.h>