Kernel coredump not functional with SCHED_ULE on -CURRENT using sources from Thursday (06/05/2008)?

[Garrett Cooper]

Hello all again,
      I was just wondering whether or not someone's tried to make the
kernel panic on x86 recently with SCHED_ULE. For the life of me I
couldn't get a core dump until I switched the scheduler to
SCHED_4BSD... now the kernel coredumps like a charm.
      World and kernel built from scratch using a clean /usr/obj and
sources from last Thursday (06/05/2008).
      Anyone have similar feedback?
Thanks,
-Garrett