Add special case for HPET in wall clock, optimize `real_timer::_handle()`.

This commit's `kernel_main()` shows a working example of a wall clock
time printer, with dumb "days since epoch".