GPIO library for hardkernel Odroid-x and x2 using python and C