Bug 873018 - Add support for prebuilt kernels