Configure hardware timer using units of time

[penberg]

APIC timer cycles are now hard-coded to a magic number. We want to, instead, configure it by units of time. For that, we need to calculate the number of cycles needed using another clock.