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