Bug 873018 - Add support for prebuilt kernels
Merge pull request #1 from michaelwu/fix-prebuilt-builds

Bug 873018 - Add support for prebuilt kernels