fix kernel [ci skip]