TIMER dummies for non-x86