Implement hwtimer for x86 (mostly stubs)