Understanding Caravel GPIO