[PATCH] ppc32: Added support for the Book-E style Watchdog Timer