Arch Linux installation notes for HP Zbook (dualboot)