> Well, that is sucky.  The linker is supposed to recognize those and stuff
> them into the .init and .fini sections.

Is it? I don't think so. I thought that you needed:

extern void _init(void) __attribute__((section(".init")));