faq: add section on immutable OS models for focus on Nix-based systems
This commit introduces a new FAQ section comparing immutable operating system models, including transactional updates (MicroOS), bootable container images (bootc/ostree), and mkosi/systemd-sysupdate.
The section highlights the unique properties of Nix-based systems (NixOS, Liminix, Not-OS, Guix), such as their content-addressed, declarative, and reproducible model. It also provides a pros/cons breakdown, use cases (e.g., kiosk and Chromebook-style deployments), and authoritative references (talks, docs, FOSDEM, NixCon, etc.).
This addition aims to better inform users, especially organisations, evaluating Linux-based immutable systems for secure, maintainable deployments, especially for the public service ecosystem, which already use NixOS in some of the most mission-critical areas.
Signed-off-by: Raito Bezarius <raito@lix.systems>