Kernel linked list implementation used