Re: [coreboot] coreboot lenovo x230