Linux kernel booting

Finally,

After messing around with runtime mappings, hacking runtime drivers and moving memory around to not get overwritten by Linux, I finally got the kernel booting. There are still some problems; the kernel is complaining about a few things;

Setting up standard PCI resources
EFI: Failed to allocate res Reserved Memory : 0x0-0xffffffff
EFI: Failed to allocate res Reserved Memory : 0x0-0xffffffff
EFI: Failed to allocate res Reserved Memory : 0x0-0xffffffff

Speaking of which; GRUB2 should probably not allow to boot bzImages on EFI platforms, since the decompression code does not care about the memory map at all. The decompress code thinks it is OK to write over low memory (0x1000 to 0x90000). BAD LINUX, BAD!