[coreboot] Lenovo T410s