Index: kernel/arch/arm32/src/machine_func.c
===================================================================
--- kernel/arch/arm32/src/machine_func.c	(revision 021096770de3850696df9d3ae8a14036971de90f)
+++ 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>