smp problem with pentium D

[RJ45]

Hello,
when I boot the SMP OpenBSD kernel with pentium D
the machine goes in kernel dump.
I did nto report details right now.
anyway, OpenBSD is reported to work on Pentium D dual core CPUs
with SMP kernel ?
thanks

Rick