[PATCH v4 20/20] x86: doc: coreboot: Mention 64-bit Linux distros