Fix build of new grub 2.02_2