use processor_info to get clock frequency at runtime

Signed-off-by: James Paton <paton@cs.wisc.edu>