Corrected some test cases + changed kernel name