Finally have what seems to be a fully working GPIO driver.  It works
with the gpio_int_test.c program which tests things from the user
side to detect a button press.