Repairing it is as easy as rebooting and selecting last generation which worked.