Check Point Best Practices suggest that when you finish a kernel debug, you should run the command _____________________ .