China's Baidu is shrugging off US chip export restrictions