[U-Boot] [PATCH v3 00/62] x86: Add initial support for 64-bit U-Boot