[U-Boot] [PATCH 43/82] x86: Add 64-bit start-up code