Carlos,
I will have a perl based script to do the libgcc symbol
search for you all shortly. I am in final testing of it
now and checking with Jakub to make sure my understanding
of some shortcuts he suggested were correct. So far it looks
like it will work fine and I am reproducing the list of
symbols in the ppc libgcc-compat on debian ppc sid.
Jack