Tidying after applying generic kernel linked lists