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