Hi. My right-hand board looks bricked now. I gave it to my brother to resolder a couple of connections, and he had to eventually replace the MK20DX256VLH7 chip. However now when I plug the USB, nothing happens. It does not come up as a USB device, so I cannot flash it. Should the chip have been somehow flashed before being soldered in? Is there any way of fixing this?