Add gpio_get() to read GPIO port pin values.
Expose vector_table so it can be changed at runtime.