[coreboot] vBIOS