Add missing kernel configuration options since the SLUB allocator switch