Always use prebuilt kernel