Various changes to move all kernel data past 0xC0000000