[coreboot] Seabios configuration