Why does this sometimes cause a kernel panic on boot? Booted QEMU a few times and intermittently observed both panic: acquire and panic: sched locks. 80104abd proc.c:sched():328 // Expects only 1 lock ...