Fix red develop 18620e264ed0

The merge lane found `develop` red at `18620e264ed038b63986f4ba69047b4145de9e15` on its own: no queued PR merges until it is fixed. Failing (tests and gate stages): - `platform-bundle-build-selftest` - `cp-launch-contract-selftest` The whole gate log: artifact `10902` on lane task 10540. Make `develop` pass its full gate again. Open a PR as usual: the merge lane merges a PR that fixes some of these and adds no failure even while `develop` is red.