Re: [coreboot] Lenovo x230 - vgabios