I can confirm that using Lean's kernel the internal speaker works, but the microphone no longer works.
I can confirm that using Lean's kernel the internal speaker works, but the microphone no longer works.