Change kernel name to CRX