[U-Boot] Thoughts on EFI, CONFIG_LOADADDR and kernel_addr_r