Re: [PATCH] efi_loader: Correct value for ARM_SMC_MM_RET_NO_MEMORY