CONFIG_TCG_IBMVTPM=y
