ACPI issue?

ACPI issue?

[Chris]

Sorry, just a user here, not a dev.  I'm not even sure if this is the 
appropriate list...

Do the lines pasted below from /var/log/messages suggest an ACPI 
issue/bug that I ought to report?

Symptoms: my screen goes blank after a period of inactivity, when I 
start using the PC again the mouse cursor is super laggy and rebooting 
seems to be the only way to recover.  System hangs if I try and exit X 
windows.  System is Debian stable.

01:32 PM: uname -a
Linux last 2.6.32-5-686 #1 SMP Sun Sep 23 09:49:36 UTC 2012 i686 GNU/Linux

Thanks,
Chris

Dec 25 11:48:29 last kernel: [ 8214.356654] Pid: 0, comm: swapper Not 
tainted 2.6.32-5-686 #1
Dec 25 11:48:29 last kernel: [ 8214.356658] Call Trace:
Dec 25 11:48:29 last kernel: [ 8214.356667]  [<c106d91d>] ? 
__report_bad_irq+0x24/0x69
Dec 25 11:48:29 last kernel: [ 8214.356673]  [<c106d924>] ? 
__report_bad_irq+0x2b/0x69
Dec 25 11:48:29 last kernel: [ 8214.356678]  [<c106da49>] ? 
note_interrupt+0xe7/0x13e
Dec 25 11:48:29 last kernel: [ 8214.356683]  [<c106df77>] ? 
handle_fasteoi_irq+0x7a/0x97
Dec 25 11:48:29 last kernel: [ 8214.356689]  [<c1004dd7>] ? 
handle_irq+0x17/0x1b
Dec 25 11:48:29 last kernel: [ 8214.356694]  [<c1004659>] ? 
do_IRQ+0x38/0x89
Dec 25 11:48:29 last kernel: [ 8214.356699]  [<c10037f0>] ? 
common_interrupt+0x30/0x38
Dec 25 11:48:29 last kernel: [ 8214.356704]  [<c10300e0>] ? 
copy_process+0xeef/0xf2d
Dec 25 11:48:29 last kernel: [ 8214.356715]  [<f80bbe7c>] ? 
acpi_idle_enter_c1+0x7b/0x97 [processor]
Dec 25 11:48:29 last kernel: [ 8214.356721]  [<c11c75a1>] ? 
cpuidle_idle_call+0x68/0xbb
Dec 25 11:48:29 last kernel: [ 8214.356724]  [<c1002377>] ? 
cpu_idle+0x89/0xa2