I used the official bios. I also diffed both files (off. bios and my backup): didn't report anything. so they seem to be the same anyways.