change kernel name to serrano-x