fix kernel