Just upgraded to Debian 13 from Debian 12 and audio no longer works.
On Debian 12, I had to set audio options to ‘SWO(4MDATA) + SW1(1MDATA) + PDM(6CH) + I2S’ in the BIOS setting to get audio working, but now that no longer works. Tried setting back to Auto and still doesn’t work.