linux-user: use GDateTime for formatting timestamp for core file