as a good troubleshooter/pragmatist I say verify all the shit in bios is still how you want it, hit save, and if it doesn't cause problems consider it a fluke and ignore it. thread complete, that will be $33.