Thanks for testing that. Mine also came with 86.04.17.00.BA
I guess the real solution is to wait for BIOS editing to become available.
Either way i'm really happy with my Extreme.
Getting 2012Mhz out of the box is quite something, though i can only add 10Mhz (2023) to the clock, any more and it starts crashing.
And, the mem easily bumped up to 5508Mhz (+100)
All while staying below 60C on a user specified fan curve that stays below 75%.