[Trisquel-usuarios] ¿Por qué libreboot no soporta procesadores Quad-core?

[megver . 2000]

Específicamente ne el caso del Lenovo Thinkpad T500/T400. Solo procesadores  
de doble núcleo. Pero, ¿No existe algun procesador de mas de 2 nucleos  
soportado por libreboot en el T500/T400?