[coreboot] Conflicting default options - option ROM exec and SeaBIOS