Preinstalled Windows 8.1 and Arch Linux dual boot