Merge changes Id0b73344,I430d6876,Ic932bff2

* changes:
  update_emu_kernels.sh: add parameter to specify kernel version
  Upgrade emulator kernels
  Upgrade emulator kernels