[Bug 15217] NULL pointer dereference after resume-from-disk