2008-07-17 Robert Millan <rmh@aybabtu.com>

Partial LinuxBIOS -> Coreboot rename.

        * conf/i386-linuxbios.rmk: Renamed to ...
        * conf/i386-coreboot.rmk: ... this.
        * Makefile.in (RMKFILES): s/i386-linuxbios.rmk/i386-coreboot.rmk/g.
        * configure.ac: Accept coreboot as input platform (but maintain
        compatibility with linuxbios).
        * include/grub/i386/linuxbios: Renamed to ...
        * include/grub/i386/coreboot: ... this.

configure.ac

@@ -69,6 +69,10 @@ else
   platform="$with_platform"
 fi
 
+case "$platform" in
+  linuxbios) platform=coreboot ;;
+esac
+
 if test "x$platform" = "xefi" ; then
   case "$target_cpu" in
     i386) ;;
@@ -91,7 +95,7 @@ case "$target_cpu"-"$platform" in
   i386-efi) ;;
   x86_64-efi) ;;
   i386-pc) ;;
-  i386-linuxbios) ;;
+  i386-coreboot) ;;
   i386-ieee1275) ;;
   powerpc-ieee1275) ;;
   sparc64-ieee1275) ;;