new bios should be available on official support page soon
interesting info: since bios from 31/3 I had 2 more versions and they always saved me some more seconds in 32m
so when going for that bench be sure to have latest bios!