Cargar 0x05 en el byte alto del temporizador es lo mismo que cargar 0x0500 en el temporizador completo, y eso sería un conteo de 1280 (decimal). Entonces, si dividir su reloj por 1280 le da 250 microsegundos, entonces su reloj le está dando 0.1953125 microsegundos por ciclo de máquina (bastante rápido para un 8051). Sospecho que el ciclo de su máquina podría ser de 200 nanosegundos, lo que haría que su tiempo de recarga se acerque a 256 microsegundos.
Un valor de temporizador de 0x0080 sería 128 decimal. Multiplique eso por 200 nanosegundos y obtendrá un retraso de 25.6 microsegundos.
Si aún no lo ha notado, 0x0080 es exactamente una décima de 0x0500.