Built-in microphone is not working on my Asus Vivobook s16x

Putting an y here means that it will always, also if it is not needed and waste memory. If you want to set this config, then you need to recompile the kernel again. At the end it means: Load the driver very early and that’s it. That can also be be accomplish by adding the module to the initcpio (see mkinitcpio.conf).

Actually there are record devices. What reports pulseaudio?

 pactl list sources