Index: kernel/arch/ppc32/include/boot/boot.h
===================================================================
--- kernel/arch/ppc32/include/boot/boot.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/ppc32/include/boot/boot.h	(revision b44939b3e96b45459ade4081b45ffb74c843202e)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc32_BOOT_H__
-#define __ppc32_BOOT_H__
+#ifndef KERN_ppc32_BOOT_H_
+#define KERN_ppc32_BOOT_H_
 
 #define BOOT_OFFSET		0x8000