added KERNEL_END (amongst others)

So we can get the end of the kernel, for the bootstrap MM