Reduce kernel debugging