Topping at around same numbers...something around 653-655. On the latest beta bios. Did you try the older ones, F7-F8?