There is a flasher on the device itself. It is called fiasco flasher, and takes the same parameters:
Of course, you should make sure that you can flash by using USB before trying a new kernel, since if you flash a problematic kernel you won't be able to replace it with a working kernel on the device itself.