do'h! sorry, of course the elf code is in kern/exec_elf32.c now.
But it's the same basic problem.

I'm beginning to suspect a bug in strip: doing objcopy results in a
binary that works fine, but stripping anything out adds in the extra
PHDR pt_load entry, and that stops the kernel from exec'ing.