linux-udoo: we don't need debian/docs