Reload kernel?