[coreboot] Re: Lenovo R500