[Linaro-uefi] [PATCH v4 1/6] EmbeddedPkg: SiI3132: Note that ARM is using this Dxe