Got lost a bit with this. I'll clear it up.

But we agree that technically speaking, you don't need an event object, right ? But yes, it would probably make more sense with it (even though we will reset using the loader, not the kernel itself).