Fixed prebuilt kernel