Re: [coreboot] Lenovo X60 broken by Change 11388