--- /usr/sbin/update-grub	2008-02-21 10:02:38.000000000 +0100
+++ update-grub	2008-02-21 10:01:11.000000000 +0100
@@ -123,7 +123,7 @@
 # if ${GRUB_TERMINAL} is set, check it has a sane value.  if undefined,
 # fallback to our default
 case ${platform}:${GRUB_TERMINAL} in
   pc:)				GRUB_TERMINAL=gfxterm ;;
-  pc:console | pc:serial)	;;
+  pc:console | pc:serial | pc:gfxterm)	;;
   ieee1275:)			GRUB_TERMINAL=ofconsole ;;
   ieee1275:ofconsole)		;;