Ну тогда после запуска просто выбрать PK-6128c. Вот только как там грузить rom - я не знаю.
F11 - бейсик
Shift+F11 - загрузка с кассеты
Ctrl+F11 - загрузка с дискеты

- - - Добавлено - - -

Можно, конечно, грузить через отладчик:
- через меню выходим в отладчик
- в дампе идём на адрес 0100
- нажимаем Ctrl+L Enter
- выбираем rom
- кликаем на регистр PC и вводим 0100
- запускаем клавишей F5