Bug 873018 - Add support for prebuilt kernels

This disables a target that doesn't work when using a prebuilt kernel.