A verbose boot would be helpful. Could you also please either upload a core dump (you can get one by setting dumpdev in the loader) or at least run addr2line to point out which line bsd4_setrunqueue+0x1df 0xc03dacaf is referring to?