I'm having trouble to update my pcduino v1 board. I have downloaded the latest kernel win32imager / dd image I have found on the site, and I've done sudo dd if=img_location of=/dev/sdc1 (sd location in linux) but when I put the microsd in the card slot in the board and power it on , it only boots as normal. By any means does it start with the upgrade process. After a while both leds (RX and TX) light up and the boot process ends normally. I know the card is working because I can see it when it is mounted on the pcduino. Any hints ? should I format the board to fat / ntfs , etc?