Dual boot Windows 8.1 Pro and Fedora 20