fix kernel dep