ARM blijft leveren aan HiSilicon (Huawei)