Implement os_frequency_t on linux