[coreboot] T430s or T430 (Was: latest greatest thinkpad with coreboot)