- All QEMU reproducibility issues resolved - Added SPDX licensing - Couple other small issues - Fix guile reproducbility
This also requires a patch to linux-headers; while we are at it, make linux-headers PREFIX agnostic.