[PATCH 6.11 224/695] powerpc/8xx: Fix kernel vs user address comparison