vc4: use intmax_t for formatted output of timespec members

32bit architectures which have 64bit time_t does not fit the assumption of time_t being same as system long int

Fixes error: format specifies type 'long' but the argument has type 'time_t' (aka 'long long') [-Werror,-Wformat] time.tv_sec); ^~~~~~~~~~~

Signed-off-by: Khem Raj raj.khem@gmail.com