I am trying to use a tpm module that attaches to GPIO pins and uses SPI. The manufacturer provides examples that use overlays from Raspbian, and those overlays seem to reference infineon and slb9670, neither of which I can find in armbian source. Anyone know if there is a way to enable SPI tpm?