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 8ba5c67cdd45a682a6195d3f4401c6197ea8ef08)
@@ -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>