Tive que alterar os parâmetros de boot do instalador (apertando e enquanto o menu de boot do pen drive está aberto) e, para a instalação, precisei adicionar pci=nomsi nomodeset nolapic pcie_aspm=off. Note que pcie_aspm=off é novo em relação à instalação do Ubuntu. Sem este novo parâmetro, um monte de erros começam a aparecer no terminal quando tentei conectar ao wifi.
Tirando isto, bastou seguir o guia de instalação do Arch. Tive que alterar as configurações do UEFI para dar prioridade para o systemd-boot do Arch em vez de continuar bootando no Ubuntu.
Dica: usar blkid para descobrir o ID da partição para adicionar à entrada do systemd-boot.
Tive alguns problemas como não conseguir reiniciar a máquina ou iniciar o lightdm que foram resolvidos com pacotes de drivers e alterando os parâmetros de boot.
No fim, como ficou a configuração:
- O parâmetro de boot extra, após a instalação, é apenas pci=nomsi.
- nolapic impedia a quantidade de CPUs de ser detectada corretamente. lscpu e nproc reportavam 1 core.
- Instalei os pacotes nvidia, bumblebee, xf86-video-nouveau, xorg-font-misc.
- Sem o xorg-font-misc, o Tabbed Simplest do XMonad não aparecia.
- O xmobar não queria inicializar por conta do sinal de grau (°) na configuração. Removendo todos, ele inicializou. Falta tentar ver se o problema persiste após a instalação do xorg-font-misc.