Então comprei este novo laptop HP 17-cn3030TU e decidi nem inicializar no Windows uma vez, e apenas rodar o Debian :)
O problema é que a instalação líquida do Debian 12 não detecta o chip wifi integrado (identificadores no título)
Felizmente, descobri que existe a opção de abrir um prompt de comando do shell no instalador para que você possa executar comandos como lspci e lsusb e dmesg para ver qual dispositivo você possui.
Então eu tentei cerca de 6 adaptadores USB Wi-Fi diferentes que eu tinha por aí e havia um, o mais barato do eBay que realmente foi detectado e funcionou!
Isto é o que parece:
Então agora consegui instalar o sistema operacional, colocá-lo em funcionamento e pesquisar para fazer o wifi integrado funcionar.
Inicialmente, encontrei vários repositórios do github com drivers prováveis compatíveis que poderiam ser compilados, mas depois encontrei algumas menções de que as versões mais recentes do kernel já tinham os drivers! Então, para receber o kernel mais recente no gerenciador de pacotes, você deve instalar fontes de backports debian
e então encontre o último pacote linux-image, no meu caso
linux-image-6.6.13+bpo-amd64
E então meu wifi integrado funcionou :)