Rework how we pass arguments to QEMU, provide a wks.in file