[coreboot-gerrit] Patch set updated for coreboot: 96d4210 New mainboard: Lenovo T400 (UNTESTED!!!)