Constant BOOT_STACK_POINTER

pub const BOOT_STACK_POINTER: u64 = 0x8000;