Generate ISO image with kernel