Thinkpad t4X0p (e.g. t470p) w/ your favorite Linux flavor (I prefer Debian).