The new kernel hasn't completely resolved the problem. The system reboots reliably if it hasn't gone to sleep, but after having gone to sleep a subsequent boot fails with the same behavior as the older kernel exhibited in all cases.