Add seconds timer + bugfixes

ipl/util.h

@@ -29,7 +29,8 @@ typedef struct _cfg_op_t
 	u32 val;
 } cfg_op_t;
 
-u32 get_tmr();
+u32 get_tmr_us();
+u32 get_tmr_s();
 void sleep(u32 ticks);
 void exec_cfg(u32 *base, const cfg_op_t *ops, u32 num_ops);
 u32 crc32c(const void *buf, u32 len);