UDOO, a mini PC taking DIY projects to the next level