correct BOARD_KERNEL_BASE and use prebuilt stock kernel

Change-Id: I808616ad1fc361633f7998008df2f16744fe09f9