d7b0107591
Loading kernel to 0xf00000 has no practical reason. Starting it from the u-boot's highest possible end address (2MB counting from 0x0) makes more sense. Tested by: kevlo