Change Details

I've tested this patch on cores with and without hardware support for accessed flag and dirty state updates. The recently removed printf() calls showed that the Translation Control Registrar is correctly configured.