Thanks, Erich. I have tried both USB ports and neither of the leds light up. After closely inspecting the board I found some irregularities near U2 on both boards (see pictures). According to the schematics, the traces belong to the USB connection of the kl25z, so probably they are not responsible for the failure of the boards. Maybe something else is wrong. I was also a bit surprised that the boards didn't come in an esd bag like the development boards from TI. Anyways, seems that I have to send them back.
Ben

