Revert r268543.

We should probably fix sys/gpio.h instead.