C'est kiki qui a dépensé le plus en semiconducteurs en 2020 parmi les OEM ?