Made the kernel a higher-half kernel

We now load the kernel to virtual address 0xC0000000 (3GB mark).