[U-Boot] [PATCH v2 01/14] x86: Specify -march=core2 to build 64-bit U-Boot proper