Out of curiosity, why the startboot function in port/initcode.c is `void startboot(char *argv0, char **argv)` given the argv0 is ignored?

I see that this simplify various main() in init9.s but I wonder why not simply use `void startboot(char **argv)`