UPDATE: the mic is working. This was my fault, the controls should be adjusted to Dmic, which seems to refer to the internal / digital mic.
UPDATE: the mic is working. This was my fault, the controls should be adjusted to Dmic, which seems to refer to the internal / digital mic.