Re: [U-Boot] [PATCH v2 11/63] WIP: x86: Update mpspec to build on 64-bit machines