I work for Red Hat, can confirm we get Think Pads and they do work wonderfully with Fedora and RHEL. I don't work with the kernel team but I can't imagine it's a coincidence that we use ThinkPads and it works well on Fedora.