clean up handling of some kernel symbols