[PATCH v2 075/169] Correct SPL use of EFI_MM_COMM_TEE