This is disturbing news, not good at all.
Is there some way of recognizing which computers could be infected, BIOS version or something other or is it all Dell E series?
Are you forced to manually decrypt a drive once the installation is complete and the computers freezes?