BOOTSTKSZ          91 include/arm/syspage.h #define BOOTSTKSZ	0x800
BOOTSTKSZ          78 include/ppc/syspage.h #define BOOTSTKSZ	0x0c00		/* size of boot stack */
BOOTSTKSZ          75 include/x86/syspage.h #define BOOTSTKSZ	0x0c00		/* size of boot stack */