Symbol: TOP_OF_KERNEL_STACK_PADDING