phooky adding edc_sync pinmux options
Latest commit 891c9ed May 18, 2018