make GRUB warning more imposing