А с soft15khz я что то так и не разобрался (но и старался не очень). В итоге пришлось перегружаться на ощупь в VGA (F8, пять нажатий курсором вверх и Ентер два раза)