I've tested the internal mic: it works with kernel-default and alsa/pulseaudio from TBW official repos. There's a something that is preventing the hardware from emitting sound.