Use prebuilt AOSP kernel w/selinux support