Мне еще проще, достаточно заменить коэффициент, сейчас он 320 (12MHz / 320 = 0.0375MHz = 37.5kHz)
Длительность сигнала INT# тоже придется подкорректировать, т.к. она привязана к базовой частоте (длительность #INT = 32 такта)
Думаю, что у Вас ROM успеет, если нет, то придется делать механизм теневого ОЗУ (32К) и управления частотой...