На входе ты обеспечил, что значение 16битного таймера в диапазоне 0-7FFF (иначе нельзя разделить на 128 и запихать в 8битный счетчик)
Что-бы отмерять интервалы 8-ми битным счетчиком корректируем исходное значение, согласно правилам округления (добавляем половину делителя) и делим на 128 (что соответствует сдвигу на 7 вправо). В результате получаем число в младшем байте, которое будучи умножено на 128 будет максимально соответствовать исходному значению 16 битного таймера, а погрешность будет плюс-минус 128 тактов