added some notes for GRUB 2.02, closes #11