Solved. The BIOS mic setting disables/enables both internal/external microphone but most importantly you have to turn off the machine after enabling for the changes to take effect. A reboot doesn't suffice.