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.
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.