1. Significantly redesigned the grub2 menu for EFI boot: made it similar to the isolinux menu; more user-friendly product name; returned graphical theme; etc.
2. Fixed non-displaying plymouth in isolinux menu items.
3. Disabled plymouth for 'basic graphics' mode.
