Fix missing path during kernel build