In the BIOS for most Thinkpads I've used recently there is a setting to swap the Fn and Ctrl keys.