Interrupt Handler Synchronization

Use spinlocks to prevent race conditions between top-half interrupt service routines and base-level processes.