kernel: add high res timers to kernel config

High res timers are useful in general, particularly for userspace apps
that call usleep().

Change-Id: I15be1b20141423650ed7f049a4b9ea53160260e3
Signed-off-by: Robert Lippert <rlippert@google.com>
Signed-off-by: Patrick Williams <patrick@stwcx.xyz>
2 files changed