PWM Main 3 and 4 not working on Kore Carrier board

Hello everyone,

I am using the Kore board with Orange Cube. The PWM main 3 and 4 pins stopped working all of a sudden while I was tweaking some parameters in my GCS.

To check if it was the problem with the board or I had made some mistake in firmware configuration, I hooked up an Arduino to read the PWM outputs. Then I configured the PWM pins to send throttle values using SERVO feature in the Mission planner. All the other 6 main pins(1,2 and 5-8) were working as expected but Main 3 and 4 were sending out NULL.

Can anyone help me fix the board if possible or help me understand what may have caused this so that I can avoid it in future?