<div dir="ltr">Can't you just add the ext module manually to the grub-install script to solve this problem? The EFI grub blob should then include the bits to read ext4.</div>