Implementing a Predictable Real-Time Multiprocessor Kernel -- The Spring Kernel