Would a dmesg be useful at all? In case it happens again (probably it will), how should I take it?
Never heard about pstore, but I'm ready to help in case dmesg would be useless.
EDIT: sorry Luk, just saw the last question. It was a hard reboot, indeed.