[PATCH] check for small grub2 embed space (#737508)