Also, is there any reason why you can't simply use $(CC) -m32 with
the kernel $(CFLAGS) ?
I did think about that. But the kernel CFLAGS does includes
-ffixed-r2 and -Iarch/powerpc which I don't think we want here.
Both of these should be fairly harmless. But sure, it
is cleaner to have separate flags -- the booter and the
kernel run in different environments, after all.
Segher