Fix Path to kernel