add prebuilt kernel and remove not-AOSP overlay