|
Sicuramente c'entra il kernel, lo aggiornano continuamente per gestire gli ACPI fuori standard, per questo ti ho consigliato un live cd recente (per curiositā, che kernel monta la tua ubuntu?)
__________________
0: or %edi, %ecx; adc %eax, (%edx); popf; je 0b-22; pop %ebx; fadds 0x56(%ecx); lds 0x56(%ebx), %esp; mov %al, %al
andeqs pc, r1, #147456; blpl 0xff8dd280; ldrgtb r4, [r6, #-472]; addgt r5, r8, r3, ror #12
|