It may be worth mentioning that it isn't the kernel that rebooted the system but some monitoring thread.