change kernel name for now