am 5ea72eff: Use the new location of the emulator kernel

* commit '5ea72effbd944891708d2d6fb61055830e617701':
  Use the new location of the emulator kernel