Sapete di che si tratta? mi è uscito quando ho messo il kernel 2.6.10, e se nn erro nel momento in cui attivo il Power Management Timer Support nella sezione ACPI. L'ho dovuto attivare perchè come dice anche nell'help, mi aiuta a risolvere un problema con la sincronizzazione del TSC che nn ho ben capito (ho postato qualche giorno fa a riguardo).
L'irq 7 è la scheda di rete e in mezzo c'entra sicuramente l'acpi.
Il pc è un portatile asus monta chipset sis gira una slack 10 kernel 2.6.10