* gnu/packages/firmware.scm (edk2-tools)[supported-systems]: New field. Change-Id: I1b8a63221b361ec440783c7d93ae120b53cabe2b