[coreboot] x230 - vgabios