[PATCH 7/8] x86: enable 64-bit kernel boot from 64-bit U-Boot