fix kernel test