Fixing broken kernel cache