# CONFIG_POWER_RESET_BRCMSTB is not set