Bug 873018 - Add support for prebuilt kernels

Original patch by Mike Hommey
Merge pull request #33 from michaelwu/fix-prebuilt-builds

Bug 873018 - Add support for prebuilt kernels