It's a lot of machinery to put into a kernel.

(Even with ELF, a kernel can have a relatively simple parser and loader and leave more challenging work to user space... like relocations, dynamic libraries, etc.)

tbh execve should be userspace operation instead of syscall, idk why kernel needs to care about the executable format at all