This moves the kernel back up to 0x60000000 as it was before the HW headers were autogenerated, as this behaviour is depended on by some user-level projects.
