Just what is Linux mascot Tux doing in a TV cereal commercial?