In some (random) cases, ppsi does not send proper utcOffset even if wr_mon shows correct leap second

From wr_mon on the switch:

FPGA: 52.56 PLL: 53.00 PSL: 37.56 PSR: 38.88
WR Switch Sync Monitor v5.0.1 [q = quit]

WR time (TAI):     2018-11-15 21:19:09
Switch time (UTC): 2018-11-15 21:18:32
Leap seconds:  37
…

From the VUART shell on the LEN:

WR Core build: d795903
Built on Nov 13 2018, 13:13:43
Built for 128 kB RAM, stack is 2048 bytes

1-wire ROM ID (DS18B20U) : 0xbf000009

EEPROM FRU info is valid:
 FRU VENDOR  : 7S
 FRU DEVICE  : WRLEN
 FRU SERIAL  : 7SWRLENi1.0-S01_004
 FRU PARTNUM : 7SWRLENi1.0-S01
 FRU FID     : 2017-03-30 17:05:28.617560

Gateware info:
 GW ID      : 0x751e41c0
 GW VERSION : 3.15.39
 GW DATE    : 18/11/15 10:48


wrc# irigb print
Status reg: 0x       6 .Year: 2018 .Day: 319 .Hour: 21 .Mins: 18 .Secs: 32 .
UTC to TAI (leap seconds): 0

Restarting ppsi always fix the error.

There is a racing condition between wr_date & ppsi