Document alternative toolchain for the CC2538DK