Now PWM phase_a_high, phase_b_high and phase_c_high works.

Needs more work on PWM drivers and to put the PWM frequency at 20KHz.