[PATCH 04/10] x86: Support booting a 64-bit kernel from 64-bit U-Boot