# CONFIG_BCM7038_WDT is not set