--- /usr/sbin/update-grub	2008-04-19 15:57:25.000000000 +0200
+++ grub2-1.96+20080413/util/update-grub.in	2008-02-28 11:39:42.000000000 +0100
@@ -95,10 +95,10 @@ fi
 # fallback to our default
 case ${platform}:${GRUB_TERMINAL} in
   pc:)				GRUB_TERMINAL=gfxterm ;;
-  pc:console | pc:serial)	;;
   ieee1275:)			GRUB_TERMINAL=ofconsole ;;
-  ieee1275:ofconsole)		;;
   *:)				GRUB_TERMINAL=console ;;
+  pc:console | pc:serial | ieee1275:ofconsole | ieee1275:console | *:gfxterm)
+				;;
   *:*)				echo "Invalid terminal \"${GRUB_TERMINAL}\"" >&2 ; exit 1 ;;
 esac