Remove Linux kernel List_empty from LibraryFunctions.lib_funs
Remove Linux kernel List_empty from LibraryFunctions.lib_funs

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer