Fix build and add prebuilt kernel