Setting up correct pin mux configuration for Rev B

This corrects an issue with the eth0 IRQ line contesting with
sys_clkout1 on the dm3730. We mux the pin to gpio_10 instead.
This is also done by the kernel now, just for overkill.