powerpc: fix build when CONFIG_BOOKE_WDT is enabled