[Y2038] [PATCH] firmware: raspberrypi: print time using time64_t