I do not have a problem with it right now but I am wondering what happens if you flash the bios and it does not work? What can be done to fix it?