Experiences from Implementing Multiprocessor Support for an Industrial Operating System Kernel