NXP-10414: simplify synchronizer by registering the frontend as a field