TPX is not hardware dependent. You do not need any fixes to install TPX 5.3 or TPX 5.4 on ZEC12 machines..
However, if the SERIAL # is changing, would will need a new LMP Key and would need to contact CA Licensing for the new LMPKey.