kernel updated; tests updated