x86: Specify -march=core2 to build 64-bit U-Boot proper