--- grub-2.00.orig/configure	2012-06-26 13:59:16.000000000 +0200
+++ grub-2.00/configure	2014-04-06 20:34:33.000000000 +0200
@@ -3880,7 +3882,7 @@ TARGET_CPPFLAGS="$TARGET_CPPFLAGS -I\$(t
 
 case "$target_cpu" in
   i[3456]86)	target_cpu=i386 ;;
-  amd64)	target_cpu=x86_64 ;;
+  amd64|x86_64)	target_cpu=x86_64 ;;
   sparc)	target_cpu=sparc64 ;;
   mipsel|mips64el)
                 target_cpu=mipsel;