Diogo Behrens, Huawei Dresden Research Center, Huawei OS Kernel Lab