This old issue turned out to be the fault of the nvidia driver. If I switch to using nv, the system reboots fine.
This old issue turned out to be the fault of the nvidia driver. If I switch to using nv, the system reboots fine.