For the record, I've left the machine running overnight after the update, and the kernel panic problem seems to have disappeared. I'll keep watching h...