Il a de l'humour en fait ^^ (ah mais ce n'est pas Linus, j'ai cru au début)
C'est quoi Rockchip au fait ? Selon Google (enfin selon eux-mêmes) ce sont rien de moins que "Rockchip is the most innovative and pragmatic integrated circuit design company". Ils doivent être bons !