h+0x60
> arm_gic_intr() at arm_gic_intr+0x118
> intr_irq_handler() at intr_irq_handler+0x98
> handle_el1h_irq() at handle_el1h_irq+0x18
> --- interrupt
> cpu_idle() at cpu_idle+0x78
> sched_idletd() at sched_idletd+0x494
> fork_exit() at fork_exit+0x78
> fork_trampoline() at fork_trampoline+0x18
> Uptime: 17m5s
> Automatic reboot in 15 seconds - press a key on the console to abort
>
> --
> Bjoern A. Zeeb                                                     r15:7
>

Would your kernel config match this condition in sys/sys/mutex.h?
#if LOCK_DEBUG > 0 || defined(MUTEX_NOINLINE)

It looks like we might be missing some SCHEDULER_STOPPED() checks in
those code paths.  It's a twisty maze of macros that I haven't totally
followed though.  td_locks might be getting broken too.

Ryan