[PATCH] Make grub-efi-arm64-bin depend on efibootmgr so that grub-install works.

[Ian Campbell]

On Fri, 2014-09-05 at 07:38 +0100, Ian Campbell wrote:

Sorry for the dup -- for some reason I didn't receive the first one back
via the list, so I thought it had gone astray, but in fact I can see it
in the archives.

Ian.