Set PenvSV priority into a very low value caused PendSV to get masked after NS set PRIMASK_NS.
https://review.trustedfirmware.org/c/trusted-firmware-m/+/891