In the end, it is too dangerous to have an unmaintained kernel in nixpkgs. Revert the revert. This reverts commit e9217251.