Creating and booting the Debian Linux SD card image on the Galileo