It would be good to add unused pins on the hat, and eventually reassign used pins, ie: button could use plain GPIO pin instead of SPI0 pin.