Explanation of <asm/gpio.h> in Doc/gpio.txt seems out of date