Hi Lukas,
Thanks for your reply; I will take a look to the core specification in the next days.
Anyway, in the online documentation I read

but the mentioned field USERSETMPEND is part of Configuration and Control Register (CCR) and not of the System Control Register (SCR), as descirbed in the Core spec

Thanks for your support, I will send you a feedback in the future.
Regards,
Andrea