I think it's possible to just flash the kernel component of the fiasco image, but instead I extracted it first and flashed it specifically.