hardware/raspberrypi/gpio: fix link