Spresense SDKによるPWM出力周波数の下限について

SPRESENSE SDKでのPWM生成に関する質問です。

現在、examples/pwmを試しているのですが、PWMの最低周波数(動作周波数xカウンタ最大値?)で悩んでいます。50Hz周期のサーボモータを接続しようとしたところioctlでエラーとなってしまいました。125HzのPWMは正常に生成できました。

本内容に関する、SPRESENSEの仕様書やコード等、ご存知の方いらっしゃいますでしょうか。

nsh> pwm -p /dev/pwm0 -f 125
pwm_main: starting output with frequency: 125 duty: 00008000
pwm_main: stopping output
nsh> pwm -p /dev/pwm0 -f 50
pwm_main: starting output with frequency: 50 duty: 00008000
pwm_main: ioctl(PWMIOC_START) failed: 22

よろしくお願いいたします。