configure: Fix warning about missing spinlocks.

Also includes a few style improvements for runtime.h.