Hmm j'y connais pas grand chose en ACPI, donc c'est quelque chose que je ne saurais pas faire, mais est-ce que dans ce cas, tu ne pourrais pas patcher le DSDT ? (Je sais pas si il faut un bootloader spécial ou un programme résident sous Windows dans ce cas, comme j'ai dit, j'y connais pas grand chose là dedans, il me semble juste que c'est possible ^^)