As I was testing Zephyr on Galileo, I noticed that pinumx functionalities that use pwm for multiplexing are not working. A small modification in pinmux.c(https://github.com/zephyrproject-rtos/zephyr/blob/master/boards/x86/galileo/pinmux.c), consisting in changing the pulse_count parameter of pwm_pin_set_cycles from 100 to 4095 seems to have solved the problem. This change was suggested by the commentaries in the pwm driver.
Is this a good solution?