Adding a hook so the kernel gets renamed.

Note that this doesn't seem to be called (in time).