Slightly OT? PulseAudio with Intel+Realtek ALC272X doesn't recognise the microphone