Correct PATH in kernel-building instructions