How to up-convert PWM frequency without using a microcontroller?
You could use a CPLD to measure the incoming duty cycle at 400 Hz and apply it to a 25 kHz PWM generator.

But a microprocessor with two timers would be easier to work with.