fix failing kernel test