Bios upgrade

[kleiman at math.mit.edu (Steven L. Kleiman)]

%From Lucas.Baran at FMR.COM  Fri Mar 18 11:38:54 2005
  As for the initial Bios Upgrade just download the correct Bios .ISO off
the website and burn it to a CD, from there you can reboot and upgrade
the bios from the CD.
 -SLK-05Mar19> Thanks, that suggestion worked!  The system booted into
dos from the CD and ran the dos executable, which upgraded the bios,
even though there is no dos on my hard drive.  The only wrinkle came in
burning the CD: k3b burned a copy of the iso onto the CD, which was
useless; however, cdrecord did the trick.
  Unfortunately, the new bios didn't solve these two problems:

(1) dmesg reports the following:
    BIOS EDD facility v0.13 2004-Mar-09, 1 devices found
    Please report your BIOS at http://linux.dell.com/edd/results.html
Of course, I reported the problem before when I ran the old bios.

(2) Interrupt 11 is still overloaded:
$ cat /proc/interrupts
           CPU0
    ....
 11:     497299          XT-PIC  uhci_hcd, uhci_hcd, uhci_hcd, ehci_hcd, ohci1394, yenta, eth0, Intel ICH4, nvidia

Best, Steve