Update platform_linux.rst

Fix typo