If you can live with the pins being I2C during boot, you can setup a
device tree that has the pinmux control for the I2C pins exported to
user-space via pinmux-helper, with the default pinmux set to I2C.
Then when the system boots, the pins will be in I2C mode, cape-manager
will do it's thing, and once everything is up and running you can
change the pinmux to turn the pins into timer inputs.
--
Charles Steinkuehler
cha...@steinkuehler.net