Adding more debug information about the original kernel