Just an update: we started the phone up yesterday and found the trackpad not working again. OK after a battery pull. I think this must be some sort of intermittent electrical problem, and working after the OS update was a coincidence.