Defense industry is a small fraction of the notebook market, meaning Lenovo is still no. 1 globally even when missing the global defense market