Don't mess with default kernel "kernel" name. Use "verknowsys" instead.