Es verdad que esta entrada se quedó prácticamente a medias, porque se me olvidó comentar cómo hacer que funcione con la BIOS de nuestra placa; algo imperdonable, ya lo sé.

El problema ahora principalmente es que desinstalé Mac OS X porque no me encontraba cómodo con él en el día a día, así que no tengo todo a mano para poder orientarte mejor, pero de todas formas te comento algunas cosas:

- No tienes que configurar nada especial en la BIOS, deja sólo la opción esa de “BIT SECURE…”.

- Tienes que extraer la información del dsdt de la BIOS con algún CD de arranque de Linux (busca en Google algo de esto), y parchear ese fichero con el programa DSDT Patcher (tendrás que buscarlo también). Una vez hecho esto, el fichero generado lo tienes que poner en el raíz de la partición de Mac OS X con el nombre: DSDT.aml

- Seguramente con estas pistas que te he dado y haciendo alguna búsqueda en Google, encuentas algún tutorial o algo que te oriente para hacerlo todo.

Siento no poder ayudarte más en este momento. Ya contarás si al final consigues instalarlo. :-)