kernel debate