A Lock-Free Multiprocessor OS Kernel (Abstract)