Merge changes I32eda2f1,Ida1ea961,I5148cc43

* changes:
  Delete vmlinux binaries
  Upgrade emulator kernels
  update_emu_kernels.sh: script to automate kernel upgrade