prima: reprogram DXE registers if they go out of sync