Hello,
No the registers are correct.

I would check if there isnt anything external connected on reset pin, to hold it active. Since it is EVB there should be no issue.
But once you enter they keys the reset will happen immediately.
I wonder how you measure the reset line.
Best regards,
Peter