Re: [arch-releng] grub2 in new ISOs?