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