Re: [PATCH v2] efi_loader: Rename and correct values for ARM_SMC_MM_*