+ file, depending on your platform, in the "refind" subdirectory. If you
+ want to build IA32 binaries on an x86-64 (X64) system, type "ARCH=ia32
+ make". This works only if you're using the TianoCore build kit, and only
+ if you set TARGET_ARCH to either "IA32" or "IA32 X64" in target.txt when
+ you set up the TianoCore. If you plan to build both architectures, be
+ sure to copy the .efi file for the first build out of the refind
+ subdirectory before building the second architecture.