Expanded EV3_ section of the pinmux definitions