Update kernel name for p760