fix kernel directory location