cbe_init_pre
extern void cbe_init_pre(void);
cbe_init_pre(); /* x86 must initialize gethrtimef before timer_init */