[coreboot] Lenovo T410 Coreboot