add ek-tm4c123gxl based on Tiva C
more sane CFLAGS