fix kernel path