Document additional toolchain alternative for the CC2538DK