vppinfra: fix 32-bit overflow in os_cpu_clock_frequency