Ie883hdb··on Xfce switches to GitLabArch Linux is super simple. Don't set up a bootloader; use efibootmgr to launch Linux directly with the UEFI firmware using EFISTUB and you're golden.