Explicitly export GPIOs used for hardware buttons