adding support for prebuild kernel