This will let us sync kernel prebuilts directly from AOSP. Change-Id: Ie94f84ee7ec5020023533f8f3364b546ace4983d