@schnudi I found a workaround.
Continuing the discussion from How to upgrade Linux kernel 3.10ltsi into SD card (v3.9 existed)?: