seabios/config.coreboot