kernel/include/config/TCG_VTPM_PROXY