SUPERMICRO_NEW_BOARD 194 drivers/watchdog/iTCO_vendor_support.c if (iTCO_vendorsupport == SUPERMICRO_NEW_BOARD) { SUPERMICRO_NEW_BOARD 197 drivers/watchdog/iTCO_vendor_support.c SUPERMICRO_NEW_BOARD);