BOOTSTK 79 include/arm/syspage.h #define BOOTSTK (SYSPAGE + 0x3800) BOOTSTK 70 include/ppc/syspage.h #define BOOTSTK (SYSPAGE + 0x4400) BOOTSTK 67 include/x86/syspage.h #define BOOTSTK (SYSPAGE + 0x2400)