Hey Guix, here's a patch to update QEMU to 4.1.0. I'm sending it in for core-updates, since it only works there. It errors out with "fatal error: gnu/stubs-32.h: No such file or directory" on master (x86_64). Some change in GCC on core-updates seems to have solved this problem.