[PATCH] powerpc: mpc85xx: Fix compilation with CONFIG_WDT