boot floppy incorrectly claims no ACPI support

[Nicolas Joly <njoly%pasteur.fr@localhost>]

Hi,

I recently used some -current amd64 boot floppies and noticed that the
boot.cfg banner states that it does not include ACPI support, which is
not quite true (unlike the i386 port) ...

>> VESA VBE Version 2.0 4096 k
NetBSD floppy diskette installation
===============================================================================

These diskettes do not have support for ACPI and may not work on some
modern hardware.  If the floppy disk installation does not work, please
try installing using a CD-ROM image.
[...]

How about the attached patch, which borrow some text from the
boot-only install CD version, to make it more correct ?

-- 
Nicolas Joly

Biological Software and Databanks.
Institut Pasteur, Paris.

Index: distrib/amd64/floppies/common/boot.cfg
===================================================================
RCS file: /cvsroot/src/distrib/amd64/floppies/common/boot.cfg,v
retrieving revision 1.2
diff -u -p -r1.2 boot.cfg
--- distrib/amd64/floppies/common/boot.cfg      8 Mar 2009 05:39:19 -0000       
1.2
+++ distrib/amd64/floppies/common/boot.cfg      6 Apr 2009 16:22:20 -0000
@@ -1,11 +1,11 @@
 banner=NetBSD floppy diskette installation
 
banner================================================================================
 banner=
-banner=These diskettes do not have support for ACPI and may not work on some
-banner=modern hardware.  If the floppy disk installation does not work, please
-banner=try installing using a CD-ROM image.
+banner=ACPI should work on all modern and legacy hardware, however if you have
+banner=problems, please try disabling it.
 banner=
 menu=Install NetBSD:boot netbsd
-menu=Install NetBSD (no SMP):boot netbsd -12
+menu=Install NetBSD (no ACPI):boot netbsd -2
+menu=Install NetBSD (no ACPI, no SMP):boot netbsd -12
 menu=Drop to boot prompt:prompt
 timeout=10