drivers/bcm2835gpio: fix build for ARM host