Index: boot/arch/arm32/include/cp15.h
===================================================================
--- boot/arch/arm32/include/cp15.h	(revision 8abcf4e7f08fa2a990c4bde86e31ad7865a13354)
+++ boot/arch/arm32/include/cp15.h	(revision 8abcf4e7f08fa2a990c4bde86e31ad7865a13354)
@@ -0,0 +1,1 @@
+../../../../kernel/arch/arm32/include/arch/cp15.h