HP Elitebook 840 has a pretty good Linux support (except the fingerprint drivers of course). My previous employer gave me a 840 G7 when it was just released. Worked pretty well with Arch/Ubuntu. Superb build quality, lightweight and overall satisfaction was pretty good.