Re: [arch-general] Having trouble understanding UEFI booting