5 ms·

I tried manually building grub with the patch but gave up and just created an ext2 /boot partition, but this is good news! Thank-you for fixing it.