bcm53xx: use bcm47xx_wdt for restarting device