[U-Boot] [PATCH v3 23/62] x86: Add 64-bit start-up code