This more accurately reflects what it is, namely the dummy sysvec used
for kernel processes, and mirrors the naming pattern for real sysvecs.
elf is not some random prefix, it specifes 'ELF ABI' for userspace processes to distinguish e.g. from a.out. elf_kernel does not provide any useful info there IMO. What if kernel becomes COFF/PE one day to satisfy requirements of UEFI 3.0?
The sv_min/maxuser are only relevant at the exec time, where the values from new sysent are taken. We never evaluate old sysent min/maxuser (or we should not) because it is old vmspace that determines the layout of the address space that goes out.
In other words, it should be a nop change if you decide to tweak these.
Sure, if the kernel is ever something other than an ELF then the name would be wrong. But it isn't currently; the kernel is an ELF binary, and all kernel modules are ELF files, so it is appropriate to call it an ELF, but if it ever becomes something else then whoever makes that change can change the names.