What is the best way to access the hardware PWM functions in the SOC of a Raspberry Pi 5?