[arch-general] Install Archlinux on HP Elitebook