Get granule state according to a given PA

[bitboom]

...

So, we have to check the addr is DELEGATED state before calling smc. I let this work for next PR (undelegation TCs).

...

Originally posted by @bitboom in https://github.com/Samsung/islet/pull/135#discussion_r1282648334