UTC leap second registers
GSI timing system uses UTC time, therefore they request adding registers
to the WR PTP Core where the UTC offset and upcoming leap second flags
could be read by the HDL modules.
As soon as leap second support is merged into PPSi master, we could
expand pps_gen registers to export the current UTC offset and 2 flags
(leap59 and leap61).