Hola de nuevo. Esa era la solución propuesta. Invocar el asistente a detectar el teclado nuevamente. Adicionalmente es conocido este problema en algunos teclados viejos PS2, no en cambio en teclados USB.
En estos casos se soluciona el problema con una pequeña modificación en el plugin
ApplePS2Keyboard.kext
Pero en tu caso al ser un portátil quizás es una buena idea que uses el kext anterior a la actualización Mac OS X 10.5.2 o bien instala este driver
ACPIPS2Nub.kext con la ayuda de kext helper