use the spinlock_t header, and add the stubs to the kernel