Re: [coreboot] More ACPI errors on Lenovo X201i