Thank you for the issue you raised in the Mbed OS repository, that’s the right place for it - STM32WB Index file missing · Issue #12149 · ARMmbed/mbed-os · GitHub.
We will get the PR done for this in the near future.
Best Regards,
Janne Kiiskilä
Technical Product Manager, Pelion Device Management Client