I fixed a thinko in the new softint handling code. I also revamped the mutex code. boot seems broken since it doesn't seem to be able to load kernels. (i'm using a boot i build a year ago or so and it works fine).