[M] Change in onomondo-eim[master]: asn1/SGP32Definitions: apply workarounds