kernel: Print SOURCE_DATE_EPOCH in UTC

If SOURCE_DATE_EPOCH is set and MK_REPRODUCIBLE_BUILD is not set, the
kernel contains SOURCE_DATE_EPOCH, converted to a date+time string.
In the interests of easier reproducibility convert it in UTC.

Reviewed by: imp
Sponsored by: Amazon
Differential Revision: https://reviews.freebsd.org/D48802