[PATCH 077/171] Correct SPL use of EFI_MM_COMM_TEE