Trying to manage an external repository that was optionally built
or not depending on the kernel version was a nightmare.

Including it lets us use a single Makefile that does the right thing.