Pushed dev.cpio generator to guix master as these commits: * b1dfc64552265d66e60d11c2a1b6f4da549cd495 * 8e7c98963f7e51b2ee9fd140f1aa59cf0f762a60 * d82f227291699e4bea655fbac23620576702667b