Update doc with an howto which describle howto make GNU/Linux Debian usb boot disk.