quick question about TPM

[niek.nooijens at omron.com]

Hi

Just a quick question. I'm developing a platform using the socfpga_cyclone5_defconfig
everything is working, linux boots, but we decided to add a TPM to it's SPI bus.
For some reason the TPM support menu in the menuconfig is disabled and I can't seem to find out why, or which file disables it. can you point me in the right direction?

Thanks!

Niek Nooijens.