IBM no longer supports Linux on Thinkpads?