This issue seems to have been fixed by Tobias with commit 22642d460488896ec1ddb25d7eb262938db810eb using a patch to work around the issue. I created a patch that'd upgrade to the next version where igt-gpu-tools is actually fixed (so the patch is not needed anymore): https://issues.guix.gnu.org/67508
