I never needed to do it! Maybe I'll try doing that next time, but whatever BIOS I've flashed to, it's always just worked fine without any fuss.