Linux kernel support for the Lenovo SL series ThinkPads