DOCS-2936: change linux kernel device names