[coreboot] Re: X220 and coreboot?