This is the patch to remove sprint from ppc. I had to modify the fpexcname() API in trap.c, like in mtx.