# CONFIG_RESET_HSDK_V1 is not set