On Fri, Sep 05, 2014 at 12:51:41PM +0200, Thorsten Glaser wrote: > grub needs porting (or needs to build for amd64 or i386 on x32) which > I may have a look at later; Hopefully not difficult: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=760428 -- Colin Watson [cjwatson@debian.org]