[coreboot] Re: Configuration for Thinkpad T530