Lilith Oberhauser, Huawei Dresden Research Center, Huawei OS Kernel Lab