Release of Solo5 0.9.2

[dinosaure]

• Send FPU info to GDB in HVT server (@greydot, Send FPU info to GDB in HVT server. Solo5/solo5#571)
• Support of OpenBSD 7.5 (@shym, @adamsteen, @omegametabroccolo, Initial support for OpenBSD 7.5 Solo5/solo5#573)

[mseri]

Looks mostly good. Do you want to do something about suse's failure:

# + exec cc -nostdinc -mstack-protector-guard=global -isystem /home/opam/.opam/4.14/.opam-switch/build/solo5.0.9.2/toolchain/bin/../include/x86_64-solo5-none-static -I /home/opam/.opam/4.14/.opam-switch/build/solo5.0.9.2/toolchain/bin/../include/solo5 -ffreestanding -fstack-protector-strong -MT stub/stubs.o -MMD -MP -MF stub/stubs.Td -std=c11 -Wall -Wextra -O2 -g -mno-sse -mno-mmx -mno-aes -mno-avx -mno-red-zone -DSSP_GUARD_SYMBOL=__stack_chk_guard -DSSP_FAIL_SYMBOL=__stack_chk_fail -D__SOLO5_BINDINGS__ -ffile-prefix-map=/home/opam/.opam/4.14/.opam-switch/build/solo5.0.9.2=. -D__XEN_INTERFACE_VERSION__=__XEN_LATEST_INTERFACE_VERSION__ -c stub/stubs.c -o stub/stubs.o
# cc: error: unrecognized command line option '-ffile-prefix-map=/home/opam/.opam/4.14/.opam-switch/build/solo5.0.9.2=.'

or we can merge?