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