Das K8055 hat eine feste PWM-Frequenz von ca. 24kHz
Ob das reicht, kann ich leider nicht sagen.
Für meine Halogenlampe hat es gereicht X)
Ich glaube du must das einfach testen. Wenn es nicht geht, dann kannst du ja auf den PIC wechseln... oder besser auf einen AVR

Gruß,
SIGINT