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 a Linux viola la especificación de ACPI, lo que lleva a bloqueos 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í, el logo de ACPI bien gordo.