Correcting kernel path