Ok, tal parece que lo que debí hacer desde el principio fue actualizar el BIOS MANUALMENTE. La utilidad que tiene MSI en su website no es muy eficiente. Lo hice MANUALMENTE y funcionó perfectamente. Me sorprendí cuando me dejó grabar los cambios en el SETUP.