generation chroot avec openocd ok