libsel4vmmplatsupport: Add support for stm32mp2 SoC family

[bruelc]

Description

Add the STM32MP2 definitions to use in the VMM CAmkES projects.

Link to kernel PR seL4

Testing

tested with vm_cross_connector linux VM boot and pic-host-cam-generic binding

[Indanz]

No personal experience with libsel4vmmplatsupport, so take this review with a grain of salt. But it looks fine.

You might want to consider opening a PR for Microkit too. That's more active than camkes nowadays.

[Ivan-Velickovic]

You might want to consider opening a PR for Microkit too. That's more active than camkes nowadays.

@bruelc if you're interested there's a section in the manual on how to port a new platform to Microkit:
https://github.com/seL4/microkit/blob/main/docs/manual.md#adding-platform-support

[bruelc]

You might want to consider opening a PR for Microkit too. That's more active than camkes nowadays.

@bruelc if you're interested there's a section in the manual on how to port a new platform to Microkit: https://github.com/seL4/microkit/blob/main/docs/manual.md#adding-platform-support

Yes, this is definitely within the scope.