Finally got my kernel in to the higher half (0xC0000000)!
Now to make the kernel recognize the temporary mappings and move on from
there. Victory!