Unless they do a full re-flash, which can also be a solution. We do not expect many users to do so I guess