[PATCH] ppc32: Fix head_4xx.S compile error