CONFIG_TCG_IBMVTPM=m
