Merge pull request #17696 from thaJeztah/update-ubuntu-install

Docs: add "Linux kernel extra" to manual install