Support pin names in RPI style for Coral boards

This should allow code compatibility across boards when using the
"D#" names, as per the Raspberry Pi header.

This also renames several pin names for the Mini so they actually match
the datasheet pin names. (Previously, I mistakenly used pin names
from the original Dev Board.) These renames are safe at this point
because the Dev Board Mini has not shipped yet.