Tras la actualización en Debian Trixie a la versión 6.12.6 del kernel de Linux he ido a arrancar mis máquinas virtuales de Virtualbox, y Vagrant me ha devuelto el siguiente error:
VBoxManage: error: VirtualBox can't operate in VMX root mode. Please disable the KVM kernel extension, recompile your kernel and reboot (VERR_VMX_IN_VMX_ROOT_MODE)
La extensión KVM del kernel es la que conecta con el sistema de virtualización de Intel, el que usa mi Thinkpad. En un primer momento he intentado desactivar en la BIOS el sistema de virtualización de Intel y reconfigurar el kernel. Eso no ha funcionado, Virtualbox necesita el sistema de virtualización para funcionar.
Luego he probado a desactivar los módulos KVM del kernel:
sudo modprobe -r kvm_intel sudo modprobe -r kvm
Tras la desactivación, Virtualbox vuelve a funcionar perfectamente.