Use syslinux's mboot.c32 for booting Grub2