making mbed pwm pins for laser configurable