generic kernel debugging support