GPIO: Add GPIO pinmux mappings

This will allow to request channels using the
name of the BBB headers (e.g. P8_12, P9_42).