That is the best one to use.
A little background... when TI-RTOS 1.10 came out, we were moving to the Tiva boards. The EKS-LM4F232 and DK_TM4C123G boards are essentially the same. We left name as EKS-LM4F232 in 1.10 because the DK_TM4C123G was not available yet. Starting in 1.20, we have both boards supported.
Todd