small change in platform python driver to get setServoAngle working