Virtualizar OpenBSD sin VT-x / AMD-v

Como la BIOS de mi portátil tiene deshabilitadas por defecto el uso de las extensiones VTx / AMD-v de virtualización y no hay forma sencilla de habilitarlas salvo experimentando con la BIOS a bajo nivel, he probado distintas soluciones de los foros de Virtualbox hasta que he conseguido instalar OpenBSD sin errores de segmentation fault de esta forma:

1º Creamos una máquina virtual para OpenBSD con un disco virtual y le ponemos la ISO de instalación del sistema operativo como unidad de CDROM virtual para instalarlo.

En mi caso, me da esta lista de máquinas que tengo:
 
"Debian 6.0" {2a1dfac9-11a8-4bca-9576-601517c8de57}
"CensOS 6.3 x86" {0396a0ac-f12f-492e-8ac0-83c1ddb6c190}
"FreeBSD 9.0 x86" {09272f25-4797-4080-af70-6609fb6fc65a}
"Ubuntu Server 12.04" {b29200d0-5ff0-47ed-bfe7-ab84773ce5a4}
"OpenBSD 5.2" {0e3bda39-b9e3-4651-9828-32c154a76a1c}
 

2º Obtener el ID de la máquina virtual creada ejecutando desde línea de comandos lo siguiente:
VBoxManage list vms

3º Arrancar la máquina virtual con este comando, indicando el ID de la máquina virtual donde instalaremos OpenBSD y que obtuvimos en el paso anterior:

VBoxSDL -norawr0 -vm 0e3bda39-b9e3-4651-9828-32c154a76a1c

4º Instalar OpenBSD y en los siguientes arranques de la máquina virtual arrancar siempre con el comando VBoxSDL -noraw0 para no tener errores de segmentation fault.

Si arrancamos la máquina virtual desde la interfaz gráfica sin tener habilitadas las extensiones VTx / AMD-v tanto en Virtualbox como en la BIOS (naturalmente, el hardware debe soportar estas extensiones) tendremos errores de segmentation fault así que siempre tendremos que arrancar la máquina virtual desde línea de comandos con VBoxSDL -noraw0