Rename kernel entry point (again...)
Define kend: 4KiB aligned end of kernel