Generating kernel symbols for debugging fun