stage 3: Allow DISK=... parameter to boot-stage3-in-qemu/-in-spike.