grub configuration to boot 3 OSs