Bug#714101: load_video loads modules absent from the EFI version

[Vincent Fourmond]

On Tue, Jun 25, 2013 at 10:50 PM, Colin Watson <cjwatson at debian.org> wrote:
> On Tue, Jun 25, 2013 at 10:33:49PM +0200, Vincent Fourmond wrote:
>> On Tue, Jun 25, 2013 at 9:15 PM, Colin Watson <cjwatson at debian.org> wrote:
>> > That code path shouldn't actually fire, though, because
>> > $feature_all_video_module should be y for 2.00 core images.  Are you
>> > sure your core image is up to date?
>>
>>   I think so:
>>
>>  ~ dpkg -l 'grub*'
>
> By core image, I mean the image you're actually booting from, which
> doesn't always match the package on your file system for one reason or
> another.  What version number does it say when you get the GRUB menu at
> boot?

  You're right here: it is a 1.99 version. The trick is that I can't
remember at all how I got the EFI boot working. All I know is it took
me a couple of headaches, and direct addition of files into the EFI
hfs+ partition. I have a

 grubx64.efi: PE32+ executable (EFI application) x86-64 (stripped to
external PDB), for MS Windows

  file in that partition which I remember more-or-less to have
installed myself, but I don't have a clue as to where I got it in the
first place. Any help on that would be most welcome.

  Cheers,

      Vincent