Re: [U-Boot] [PATCH 1/4] x86: Specify -march=core2 to build 64-bit U-Boot proper