Tente:
cat /proc/cpuinfo e veja se há vmx (Intel) ou svm para AMD.
ou dmidecode deve fornecer muitas informações sobre as configurações da BIOS.
Do seu site:
dmidecode is packaged for several Linux and BSD distributions (Debian, Gentoo, openSUSE and FreeBSD among others), either as a single package or included in a more generic tool set.
Ele deve estar no repositório da sua distro ou já estar instalado no seu sistema.
UPDATE: Encontrei sua pergunta aqui e aqui , mas Não consigo verificar se os comandos acima fornecem o status de configuração da BIOS ou apenas as capacidades da CPU.