How to diagnose high kernel (CPU) times