fixed kernel source location