Sur le portable de ma fille, j'ai activé CONFIG_ACPI_CUSTOM_DSDT, et ça
Peut-être peux-tu m'envoyer ton .config ? a+ f.