Re: [coreboot] x230 - vgabios