Re: [coreboot] X201 status