Revert "fix up kernel"

This reverts commit b538e888596c87c0484a8bf77c3859ca0f80c49e.