Ming Fu, Huawei Dresden Research Center, Huawei OS Kernel Lab