Building a system with boot.kernelPackages = pkgs.linuxPackages-libre failed because the expression is called with extra arguments, See linux-4.14.nix.
stdenv.platform
platform