fix kernel sync