Raspberry Piの品不足が解消、7月から月産100万台へ。CEOが発言