Normal
the highest i was able to boot with that bios is 9200. I am currently working to get 8400 daily stable but its harder than expected.
