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