Fix red develop b3c77565bded

The merge lane found `develop` red at `b3c77565bded68f96aef0024461d10b430513b1f` on its own: no queued PR merges until it is fixed. Failing (tests and gate stages): - `platform-bundle-build-selftest` The whole gate log: artifact `10164` on lane task 10151. 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.

Duplicate: develop already fixed by Task 10151; platform bundle selftest red at b3c77565 (1 failed), green at develop eb8e40d3d (119 passed). Closed PR #6949. Memory: none applied.