# CONFIG_RESET_TI_TPS380X is not set
