Eu descobri o mistério. No BIOS do M4400, existem 3 opções de virtualização. Uma dessas opções é chamada "Execução confiável", que eu tinha ativado. Mesmo que meu TPM estivesse habilitado, por algum motivo essa configuração estava fazendo com que o sistema não reconhecesse o VT-x. Uma vez que eu desabilitei "Trusted Execution" em meu BIOS na seção "Virtualization", eu pude usar o VT-x no Virtual PC e no Sun xVM VirtualBox