[brcm63xx] extend bcm63xx_wdt driver for debugging purposes, thx Miguel