# CONFIG_MARVELL_GTI_WDT is not set
