[PATCH v3 09/19] x86: coreboot: Align options between coreboot and coreboot64