[PATCH] ppc32 8xx: flush_tlb_range() declaration uses wrong pointer type