[coreboot] T420i compatibility