Added prebuilt kernel and update-binary

Change-Id: If463f24c4ad73ee702dadb826816294c5f57bfef