GPIO.rpi_revision() (cached revision), and bugfixes