Comment by da-x

Thankfully there's livepatching (e.g. https://ubuntu.com/security/livepatch )