Added option to build stock kernel config, removed prebuilt kernel

Change-Id: Id72753a09ff05c63fc973a3fc5a9a142163a97cc