Re: [coreboot] Lenovo X200 running Coreboot drains 3-4W more power than with Vendor BIOS