Bug 873018 - Add support for prebuilt kernels

Original patch by Mike Hommey

This allows us to install the kernel headers in the right place so certain userspace libraries can build when we aren't building a kernel.