Fix wrong kernel path