CONFIG_TEE_STMM_EFI=m
