Index: kernel/arch/arm32/src/cpu/cpu.c
===================================================================
--- kernel/arch/arm32/src/cpu/cpu.c	(revision 34847e2e27574b82c78d62e245fd620e09609132)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision 0b49d4e8fd3d9501fbccd197d8c91796bef7838b)
@@ -41,4 +41,8 @@
 #include <print.h>
 
+#ifdef CONFIG_FPU
+#include <arch/fpu_context.h>
+#endif
+
 static inline unsigned log2(unsigned val)
 {
@@ -60,6 +64,5 @@
 static const char * implementer(unsigned id)
 {
-	switch (id)
-	{
+	switch (id) {
 	case 0x41: return "ARM Limited";
 	case 0x44: return "Digital Equipment Corporation";