Unwanted change in Kconfig for mpc8xx_wdt watchdog ?