libsel4vmmplatsupport: use uintptr_t

[axel-h]

• This is no pointer that can be dereferenced.
• uintptr_t is used in other places already, so casting can be avoided.

[axel-h]

Can we merge this?

[axel-h]

Can we merge this?