or do we have to re- upgrade.... no, I just checked and the upgrade I did before this boot survived.