That's probably best. I don't know of a simple way to restore your boot partition now. But if you trawl through dealdatabase, there may be more recent developments I am not aware of.

Peter.