[PATCH 7/9] x86: coreboot: Align options between coreboot and coreboot64