Re: [coreboot] Postcode at Lenovo x230