シリアルコンソールをゲットできたら、いろいろ聞くと思います。
SCHED_4BSDのままでいいのかとか、DDBでのバグの追い方とか、あぶり出し方とか。