Descobri que o problema era que a versão do microcódigo nas CPUs para as máquinas afetadas era mais antiga. Eu tentei instalar o pacote amd64-microcode que atualizou o microcódigo, mas somente após o erro da PMU já ter aparecido no dmesg. Usei a ferramenta de configuração do servidor inicializável da Dell para atualizar o BIOS e o firmware do sistema e corrigi o problema. Espero que isso seja útil para qualquer um que tenha o mesmo problema.