So it looks like DragonBoard DOES have PWM output on the "Multi Purpose" Pin. Which is also the only ADC input. The schematic says that this pin on the PM8916 is intended to control white backlight LED, which a DragonBoard project might not need. So how general purpose is this output?
The PM8916 doc that @ldts-jro pointed to documents a PWM_SLICE set of values. Do these pertain to the PWM MPP output, or do they pertain to the PWM involved in the LDO voltage regulators? Supposing the former, the registers look like they can set a wide range of frequency. Meanwhile, for pulse width, the PWM_VALUE settings appear to take 9 bits, though the SYNC_PWM variable refers to "6/9-bit PWM value".
Any comments on whether it's practical to use this output for general purpose PWM, and also specifically to control low-cost ("hobby") servos that use nominally 1ms +/- 0.5ms pulses within a 50ms repetition rate? (So a relatively small baseline pulse proportion, for which this output might lack fine granularity.)