PMP Assert - Add Missing Check
Created by: silabs-robin
This PR adds a PMP assert that was missing.
The updated asserts pass in formal.
ci_check passes (except infamous old known failure).
Only tested in hello-world. (Hence the "draft" status.)
(Question to self: Why was this not here originally? What spec text would have directly led to its inclusion? What thinking-procedure would have led to it?)