sorry, it somehow slipped my attention that you were talking about the docking station. which one do you have? the ultraslim dock? i have that one and i have not yet managed to get any audio working via that one (neither input nor output). however, that one does not have a builtin microphone.
and at least for me, the internal mic as well as the combined headphone/mic jack of the notebook itself keeps working on the current kernel with the pulseaudio-git version when it is in the docking station....
so, what kind of docking station do you have and what exactly do you mean when you say the mic is not working?
and yes, most probably, 5.4 is not an optimal kernel for your laptop but 5.7 is.