BOOT_PGD           80 include/arm/syspage.h #define BOOT_PGD	(SYSPAGE + 0x4000)
BOOT_PGD           71 include/ppc/syspage.h #define BOOT_PGD	(SYSPAGE + 0x5000)
BOOT_PGD           68 include/x86/syspage.h #define BOOT_PGD	(SYSPAGE + 0x3000)