[PATCH] ppc32: Fix pointer check for MPC8540 ADS device