Add: prebuilt kernel

Change-Id: Icc6146328a5b97f746eb3d9d925dc68aee44dcaf