DEbianized packages for the Intel Galileo board