Debian bookworm on a Lenovo T14s Gen3 AMD

Debian developer Marco d’Itri reports that this machine works fine with an actual kernel and with Debian. Thanks for sharing this, Marco!