Execute o script do Volatility ("~/volatility/vol.py") sobre o arquivo "/mnt/prova2/linux-sample.bin", com o perfil (profile) "Linuxprofilex64" e o plugin linux_cpuinfo. Qual dessas opções é apresentada na saída do Volatility como sendo o modelo do processador? (Referência: questão 6.6 do laboratório)