Kill some debugging per franco kernel