- add do_timer_overflow() function for coping with tick overflow
- make find_smp_config() gated by its own define
- bug fixes and corrections