Fix a pwm pin configuration for D5x

[TethysSvensson]

Summary

The tc4 uses pins pa23, pb09 and pb13 on the D5x. The pin pb09 is present on all pins-48 devices and above.

Checklist

• CHANGELOG.md for the BSP or HAL updated
• All new or modified code is well documented, especially public items
• No new warnings or clippy suggestions have been introduced - CI will deny clippy warnings by default! You may #[allow] certain lints where reasonable, but ideally justify those with a short comment.