Bug 873018 - Add support for prebuilt kernels

This switches the peak to a prebuilt kernel and modules if we're not building on a Linux host.