Was wondering what all this fixed. I was assuming that it would improve the BIOS boot time but it's still slower than any bios I've ever used. It has nothing to do with what USB peripherals I have attached. Can we expect an actual fix for this in the future or what?