Raspberry Pi and Hummingboard GPIO fix