With the latest Debian CD isos, you can just use `cp` to copy straight to the device. Can we do this with ISOs generated using PDK?