top-level.nix: kernelParams was always an empty string