Map kernel to 0x10000 and align data and code sections to 4k border