Foxconn estropea ACPI en Linux, ¿es deliberado?

Leido en barrapunto.com, será posible que Foxconn deliberadamente haya modificado sus BIOS para producir un malfuncionamiento del ACPI en Linux?

clipped from barrapunto.com Foxconn sabotea deliberadamente sus BIOS para que el ACPI no funcione en Linux Un pobrecito hablador nos cuenta: «Un usuario ha estado analizando las tablas DSDT que ofrece la BIOS dependiendo del sistema operativo que consulta. Ofrecen distintas tablas para XP/Vista, Windows 2000, 98/95... y Linux. Desafortunadamente, la que se ofrece para Linux viola la especificación de ACPI, lo que hace que las funciones de suspender, resumir, rearrancar y otras se comporten erráticamente e incluso se produzcan bloqueos, checksum no válidos, bips continuos y kernel panics variados. Lo grave es que hackeando Linux para que use tablas DSDT de Windows XP y Vista, el ACPI funciona casi al completo. ¿La respuesta de Foxconn? Sus productos no están certificados para Linux. Eso sí, presumen de cumplir las especificaciones ACPI y haber recibido una certificación de Microsoft.» El intercambio de emails con el fabricante de la bios no tiene desperdicio. El informe del bug.