Remove C stubs for adding timestamp on Xen

This fixes the problem of compiling with the wrong CFLAGS for Mini-OS, by removing the C stubs and using the new monotonic time API from https://github.com/mirage/mirage-platform/pull/108.