I think I found a BIOS solution to the Georgie USB Fix without substantial patching at all! All you would need is a copy of MODBIN to fix things up.
In Modbin's CHIPSET REGS. DEFAULT menu, index 000D (The primary register for Georgie's Fix) is set to 00100000, which is identical to 0x20 -- the same value that Georgie reported as the Faulty Value. This is one of the few registers that MODBIN knows how to soft-modify.
I haven't tried this yet (my IOpeners are in pieces at the moment), but I'm fairly certain you can update this value according to Georgie's suggested specs. Good side is, you can set it in BIOS and forget it; bad side is, you'll need to AWDFLASH the update to make it stick.