2.5.72-mm2+ACPI20030619: oops during boot @ scheduler-tick

Hi!

I've just found the following oops when booting a RHL9 with 2.5.72-mm2
kernel and the latest ACPI patch:

swapper       R current      1      0     2               (L-TLB)
c12b9e84 00000000 c12bb900 0000001d c12b9ebc c01184ed c12bb900 00000000
       002b9f50 00000000 c12b9f50 00000000 00000001 00000000 c12b9f44
c01241a6
       00000000 00000001 00000001 00000000 c12b9f44 20000001 c01243f4
00000000
Call Trace:
 [<c01184ed>] scheduler_tick+0x29d/0x310
 [<c01241a6>] update_process_times+0x46/0x60
 [<c01243f4>] do_timer+0x34/0xf0
 [<c010ed7a>] timer_interrupt+0x2a/0x120
 [<c010ace9>] handle_IRQ_event+0x49/0x80
 [<c010b051>] do_IRQ+0x91/0x130
 [<c01094f8>] common_interrupt+0x18/0x20
 [<c019c7ea>] acpi_os_write_port+0x25/0x3c
 [<c01a6f27>] acpi_hw_set_mode+0x56/0x8a
 [<c01a058a>] acpi_enable+0x22/0x4c
 [<c01b090e>] acpi_enable_subsystem+0x29/0x47
 [<c037f857>] acpi_bus_init+0x6d/0xf1
 [<c037f938>] acpi_init+0x5d/0x9c
 [<c03747db>] do_initcalls+0x2b/0xa0
 [<c012b70f>] init_workqueues+0xf/0x30
 [<c010509f>] init+0x2f/0x1c0
 [<c0105070>] init+0x0/0x1c0
 [<c0107269>] kernel_thread_helper+0x5/0xc

It seems to be inocuous, as the system is working properly.
Attached are "config-2.5.72-mm2" and "dmesg".

Thanks!