[U-Boot] [PATCH 12/48] x86: Tidy up the 64-bit calling code