Writing sel4.iso on a CD/DVD vs. on an USB key