Use the new location of the emulator kernel
2 files changed