Bug#871772: grub-mknetdir not enabled for arm64

[Colin Watson]

Control: fixed -1 2.02-1
Control: tag -1 pending

On Fri, Aug 11, 2017 at 11:30:02AM +0100, Leif Lindholm wrote:
> The stretch arm64 build of grub lacks the following commit (which
> happened after the -beta3 release):
> http://git.savannah.gnu.org/cgit/grub.git/commit/util/grub-mknetdir.c?id=0d663b50b9abf830fd10de384606a0632a605b77
> 
> This means that grub-mknetdir fails silently on arm64.
> 
> This is already fixed in buster, but would be very nice if it could be
> included in future stretch releases.

I've created a "stretch" branch in git and cherry-picked this onto it.
Thanks.

-- 
Colin Watson                                       [cjwatson at debian.org]