make kernel with the build and update to p500

Change-Id: Ib31fe915a3b6cde8354bfab8f1f6f8ebc20821f4