PWM에 관련된 드라이버는 커널 소스에 제공되지 않습니다.
직접 제작하셔야 합니다.

문자형 디바이스 드라이버 형태로 만드셔야 하는데
PXA255 매뉴얼 4-38 페이지에 있는 Pulse Width Modulator 내용을
참조하셔야 할겁니다.

레지스터가 매우 간단하기 때문에 제작하시는데 큰 어려움은 없을듯 하네요