Does U-Boot support booting an Intel 64bit Linux kernel? The bootloader itself doesn't need to be 64bit, but it needs (for me) to boot a 64bit kernel with the full memory address space available. What about UEFI?