add support for armv7 generic timer
add tsc timer support, try to get hpet anyway if no acpi tables present
trivial: fix typo.