I forgot to fix arch-wrpc when making the time_ops.
Code mainly by Tomasz (wrpc-sw/shell/cmd_time.c)
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>