This release fixes further OPAM/MirageOS installation problems found by CI, and the following build problems:
* spt: Support ppc64le on RedHat (thanks to Stefan Berger, @stefanberger). * Fix check/warning for libseccomp >= 2.3.3 (thanks to Mechiel Lukkien, @mjl-). No functional changes. Martin