Kernel: Add better support for bootloaders loading the kernel

Before I assumed that bootloaders loaded the kernel at physical address
0, but this patch kinda allows loading to different addresses. This
still doesn't fully work as kernel bootstrap paging relies on kernel
being loaded at 0

kernel/include/kernel/BananBootloader.h

@@ -33,4 +33,5 @@ struct BananBootloaderInfo
 	uint32_t command_line_addr;
 	uint32_t framebuffer_addr;
 	uint32_t memory_map_addr;
+	uint32_t kernel_paddr;
 } __attribute__((packed));