Hi, is it possible to generate hardware PWM with RPi, using GPIO12 or GPIO13? I see there are flags for these pins in 0120-00_IO_Flags example, but I want to be sure. Thanks, Stepan