gpio/ABI: document what is already the case