Failing any other advice, I suppose I shall have to reflash. Everything else still works, though, so I'll wait for the weekend.