The BIOS that Badflash has doesn't implement Georgie's USB fix yet. If you're waiting on this particular fix, you'll want to hold off until an announcement is made on this BBS.
Anyways, it would be more effective (and cheaper) for you to download the "pci" utility mentioned in Georgie's thread and manually tweak this setting for your particular machine, rather than rely on a patched BIOS to do this for you. That way, you get full control over the whole PCI set, in case other PCI tweaks come into the spotlight.
There is a beta BIOS that implements Georgie-USB fix that some beta-testers have used for a few months without incident. I just haven't put in the time to package up the "Tweak" tool that sets the Georgie-USB value. Current Tweak tool only runs under Windows, which makes life difficult if you're on Linux, QNX, or BeOS.