Index: kernel/arch/arm32/include/mach/integratorcp/integratorcp.h
===================================================================
--- kernel/arch/arm32/include/mach/integratorcp/integratorcp.h	(revision ecf083ddad676b0da750a0fddb69925ae0855751)
+++ kernel/arch/arm32/include/mach/integratorcp/integratorcp.h	(revision 6eb794aa8b215fdc5cb202ffc13bae94b06623b0)
@@ -106,4 +106,5 @@
 extern void icp_frame_init(void);
 extern size_t icp_get_irq_count(void);
+extern const char *icp_get_platform_name(void);
 
 extern struct arm_machine_ops icp_machine_ops;
Index: kernel/arch/arm32/include/mach/testarm/testarm.h
===================================================================
--- kernel/arch/arm32/include/mach/testarm/testarm.h	(revision ecf083ddad676b0da750a0fddb69925ae0855751)
+++ kernel/arch/arm32/include/mach/testarm/testarm.h	(revision 6eb794aa8b215fdc5cb202ffc13bae94b06623b0)
@@ -74,4 +74,5 @@
 extern void gxemul_frame_init(void);
 extern size_t gxemul_get_irq_count(void);
+extern const char *gxemul_get_platform_name(void);
 
 extern struct arm_machine_ops gxemul_machine_ops;