OS-specific notes about grub tools