No event object ? What's `PreResetLegacyKernelEvent` then ?
Actually I think an event object might be useful, to get easy access to the legacy kernel we're resetting.