x86: Mention running U-Boot in 64-bit mode in the README