# CONFIG_POWER_RESET_BRCMKONA is not set