[coreboot] [PATCH v2 09/20] x86: coreboot: Align options between coreboot and coreboot64