[arch-general] Installing Archlinux alongside Ubuntu on a Windows 8 UEFI laptop