[PATCH] Kconfig fix (tms380tr and ISA_DMA_API)