Update kernel name for p768