That makes sense. I tested the patches by cross-compiling the system and I did not thought about compatibility issues.
I'm attaching the modified patches (still trying to figure how to reply using git send-email). I added a new file_utimens RPC to handle timespecs in fs.defs and changed the glibc and translator implementations accordingly.
Note that I also added a two macros to convert between timespecs and time_value_t in libshouldbeinlibc/timefmt.h (one was taken from the exec server). Not sure if this is the best place.
Flavio
Samuel