Can Fedora run on Lenovo ThinkPad T430?