Really add a way for prebuilt kernel