[Linaro-uefi] [PATCH v2] edk2-platforms.config: Add support for sgi575