Hello Darren,

I have applied your patch and rebuilt the kernel. After booting with the 
new one I got a kernel trace. You can download it from 
http://6bone.informatik.uni-leipzig.de/netbsd/trace.jpg


Regards
Uwe