Fixed a couple of things: a memory barrier in the ipi ring buffer; and
added CAS operation in captbl.h, which fixed some random
crashes. Ready to scale up.