- update bios again, but this time move to a standard filename

BIOS-bochs-latest.  Different versions of the BIOS can now be
  distinguished because they print the RCS ID into the log file
  using bios_printf.

bochs/.bochsrc

@@ -9,7 +9,7 @@
 # directory, named BIOS-bochs-yymmdd.  Use the latest one in there.
 #=======================================================================
 #romimage: bios/BIOS-bochs-970717a
-romimage: file=bios/BIOS-bochs-2001_0529, address=0xf0000
+romimage: file=bios/BIOS-bochs-latest, address=0xf0000
 #romimage: file=bios/BIOS-bochs-2-processors, address=0xf0000
 #romimage: file=bios/BIOS-bochs-4-processors, address=0xf0000
 #romimage: file=bios/rombios.bin, address=0xf0000

bochs/Makefile.in

@@ -38,7 +38,7 @@ MV=mv
 LN_S=ln -sf
 DLXLINUX_TAR=dlxlinux1.tar.gz
 DLXLINUX_TAR_URL=http://bochs.sourceforge.net/guestos/$(DLXLINUX_TAR)
-DLXLINUX_ROMFILE=BIOS-bochs-2001_0529
+DLXLINUX_ROMFILE=BIOS-bochs-latest
 GUNZIP=gunzip
 WGET=wget
 SED=sed