fix kernel tag