NXP-14388: Add getter for Synchronizer