Describe the bug

When building the linux kernel, a dev output is automatically created, which contains a very large binary vmlinux (around 450MB in my case).
It seems that it is intentionally kept (see https://github.com/NixOS/nixpkgs/blob/nixos-23.05/pkgs/os-specific/linux/kernel/manual-config.nix#L333 )
Is there any reason to keep such a large file in the closure ?

Steps To Reproduce

Build a linux kernel

Expected behavior

To ship only necessary kernel features and headers, without a 450MB file in the closure.

Notify maintainers

@RaitoBezarius