Profiting of a temporary ITF down, I unplugged and re-plugged the power supply from the PRE-01 module of EE-Room to be sure of the proper contacts. The result is that EE_MIC is again dead, apparently, athough the module seems to be properly powered. If a spare is available, I would try to replace the module itself, at the next occasion.