Changed the memory allocator to SLUB, added RCU priority boosting and Westwood