Highly doubt that, mine had stock 4.0.1. The patched units run on 4.1 stock.Probably a patched unit.
Youtube: HmhwFIoaWEQOn another forum. Someone who owns 2018 HAC-S-JXE-C3, Serial XAJ70036831XXX, reported that it can be used with SX Pro without any problem.
I think we can assume that the patched units roll out with the serial XAJ7004+.