Hey @pieropontra,
I have the same board and just updated to BIOS 2002. After the upgrade, my system would boot but most of my USB ports didn't work. I had to turn 4G Decoding ON, which was previously turned off, and everything went back to normal. I'm not running OC full-time, so I guess there...