60d57d
- Enabled tickless timer support on i386 and added a default_hz flavor with it still disabled for suspicious bug triage assistance.