[coreboot] Configuration for Thinkpad T530