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)