I am getting an intermittent "BUG: spinlockup on CPU #0, kacpid/13, e3bcef9c" message when booting. 
I know it occurs from a cold boot, but am not sure about from a warm reboot.

I don't know where in the boot sequence it occurs as I only have the text display on the screen, 
which is as follows:

...... unknown material that rolled off the top of the screen
_spinlock + 0x1b/0x30
exit_io_context + 0x25/0x90
do_exit + 0x54/0x430
die + 0x17c/0x180
do_page_fault + 0x209/0x62e
error_code + 0x4f/0x54
show_stack + 0x9c/0x0e
show_registers + 0x18f/0x230
die + 0xfa/0x180
do_page_fault + 0x209/0x62e
BUG: spinlockup on CPU #0, kacpid/13, e3bcef9c
dump_stack + 0x1e/0x20
__spin_lock_debug + 0xb6/0xf0
_raw_spin_lock + 0x67/0x90
_spinlock + 0x1b/0x30
exit_io_context + 0x25/0x90
do_exit + 0x54/0x430
die + 0x17c/0x180
do_page_fault + 0x209/0x62e
error_code + 0x4f/0x54
show_stack + 0x9c/0x0e
show_registers + 0x18f/0x230
die + 0xfa/0x180
do_page_fault + 0x209/0x62e

The computer is an HP ze1115 notebook with a mobile K7 processor. The beginning lines of a normal 
dmesg are:

Linux version 2.6.15-rc6 (root@linux) (gcc version 4.0.2 20050901 (prerelease) (SUSE Linux)) #4 PREEMPT
  Sat Dec 24 23:05:18 CST 2005
BIOS-provided physical RAM map:
  BIOS-e820: 0000000000000000 - 000000000009fc00 (usable)
  BIOS-e820: 000000000009fc00 - 00000000000a0000 (reserved)
  BIOS-e820: 00000000000e0000 - 0000000000100000 (reserved)
  BIOS-e820: 0000000000100000 - 0000000023ff0000 (usable)
  BIOS-e820: 0000000023ff0000 - 0000000023ffffc0 (ACPI data)
  BIOS-e820: 0000000023ffffc0 - 0000000024000000 (ACPI NVS)
  BIOS-e820: 00000000fff80000 - 0000000100000000 (reserved)
575MB LOWMEM available.
On node 0 totalpages: 147440
   DMA zone: 4096 pages, LIFO batch:0
   DMA32 zone: 0 pages, LIFO batch:0
   Normal zone: 143344 pages, LIFO batch:31
   HighMem zone: 0 pages, LIFO batch:0
DMI 2.3 present.
ACPI: RSDP (v000 OID_00                                ) @ 0x000e4010
ACPI: RSDT (v001 OID_00 RSDT_000 0x30303030 220& 0x00010007) @ 0x23fffbc0
ACPI: FADT (v002 INSYDE FACP_000 0x00000100 220& 0x00010007) @ 0x23fffac0
ACPI: BOOT (v001 INSYDE SYS_BOOT 0x00000100 220& 0x00010007) @ 0x23fffb50
ACPI: DBGP (v001 INSYDE SYS_DBGP 0x00000100 220& 0x00010007) @ 0x23fffb80
ACPI: DSDT (v001 INSYDE   VT8362 0x00001000 MSFT 0x0100000d) @ 0x00000000
Allocating PCI resources starting at 30000000 (gap: 24000000:dbf80000)
Built 1 zonelists
Kernel command line: root=/dev/hda6 vga=791 selinux=0 resume=/dev/hda3  splash=silent lapic
	psmouse.proto=bare
Initializing CPU#0
CPU 0 irqstacks, hard=c037d000 soft=c037c000
PID hash table entries: 4096 (order: 12, 65536 bytes)
Detected 1100.260 MHz processor.
Using tsc for high-res timesource
Console: colour VGA+ 80x25
Dentry cache hash table entries: 131072 (order: 7, 524288 bytes)
Inode-cache hash table entries: 65536 (order: 6, 262144 bytes)
Memory: 577688k/589760k available (1802k kernel code, 11412k reserved, 555k data, 160k init, 0k highmem
)
Checking if this processor honours the WP bit even in supervisor mode... Ok.
Calibrating delay using timer specific routine.. 2203.66 BogoMIPS (lpj=4407331)
Mount-cache hash table entries: 512
CPU: After generic identify, caps: 0183f9ff c1cbf9ff 00000000 00000000 00000000 00000000 00000000
CPU: After vendor identify, caps: 0183f9ff c1cbf9ff 00000000 00000000 00000000 00000000 00000000
Enabling disabled K7/SSE Support.
CPU: L1 I Cache: 64K (64 bytes/line), D cache 64K (64 bytes/line)
CPU: L2 Cache: 64K (64 bytes/line)
CPU: After all inits, caps: 0383f9f7 c1cbf9ff 00000000 00000020 00000000 00000000 00000000
Intel machine check architecture supported.
Intel machine check reporting enabled on CPU#0.
mtrr: v2.0 (20020519)
CPU: AMD mobile AMD  Duron(tm) stepping 01
Enabling fast FPU save and restore... done.
Enabling unmasked SIMD FPU exception support... done.
Checking 'hlt' instruction... OK.
ACPI: setting ELCR to 0200 (from 0c00)
checking if image is initramfs... it is
Freeing initrd memory: 2633k freed
NET: Registered protocol family 16
ACPI: bus type pci registered
PCI: PCI BIOS revision 2.10 entry at 0xe8a44, last bus=1
PCI: Using configuration type 1
ACPI: Subsystem revision 20050902
ACPI: Interpreter enabled
ACPI: Using PIC for interrupt routing
ACPI: PCI Root Bridge [PCI0] (0000:00)
PCI: Probing PCI hardware (bus 00)
ACPI: Assume root bridge [\_SB_.PCI0] bus is 0
Disabling VIA memory write queue (PCI ID 0305, rev 80): [55] 3c & 1f -> 1c
Boot video device is 0000:01:00.0
ACPI: PCI Interrupt Routing Table [\_SB_.PCI0._PRT]
ACPI: Embedded Controller [EC0] (gpe 1)
ACPI: PCI Interrupt Link [LNKA] (IRQs 10 *11)
ACPI: PCI Interrupt Link [LNKB] (IRQs 10 11) *0, disabled.
ACPI: PCI Interrupt Link [LNKC] (IRQs *10)
ACPI: PCI Interrupt Link [LNKD] (IRQs 10 *11)
Linux Plug and Play Support v0.97 (c) Adam Belay
pnp: PnP ACPI init
pnp: PnPACPI: METHOD_NAME__CRS failure for PNP0c04
pnp: PnP ACPI: found 10 devices
PnPBIOS: Disabled by ACPI PNP
SCSI subsystem initialized
PCI: Using ACPI for IRQ routing
PCI: If a device doesn't work, try "pci=routeirq".  If it helps, post a report
PCI: Cannot allocate resource region 0 of device 0000:00:0a.0
pnp: 00:06: ioport range 0x1600-0x167f has been reserved
pnp: 00:06: ioport range 0x2c8-0x2cf has been reserved
pnp: 00:06: ioport range 0x4d0-0x4d1 has been reserved
pnp: 00:06: ioport range 0x1000-0x105f could not be reserved
PCI: Bridge: 0000:00:01.0
   IO window: c000-dfff
   MEM window: e0000000-efffffff
   PREFETCH window: 90000000-9fffffff
PCI: Bus 2, cardbus bridge: 0000:00:0a.0
   IO window: 00001400-000014ff
   IO window: 00001800-000018ff
   PREFETCH window: 30000000-31ffffff
   MEM window: 32000000-33ffffff
PCI: Setting latency timer of device 0000:00:01.0 to 64
ACPI: PCI Interrupt Link [LNKA] enabled at IRQ 11
PCI: setting IRQ 11 as level-triggered
ACPI: PCI Interrupt 0000:00:0a.0[A] -> Link [LNKA] -> GSI 11 (level, low) -> IRQ 11
Simple Boot Flag at 0x37 set to 0x1
Machine check exception polling timer started.
Initializing Cryptographic API
io scheduler noop registered
io scheduler anticipatory registered
io scheduler deadline registered
io scheduler cfq registered
Applying VIA southbridge workaround.
isapnp: Scanning for PnP cards...
isapnp: No Plug & Play device found
Linux agpgart interface v0.101 (c) Dave Jones
agpgart: Detected VIA Twister-K/KT133x/KM133 chipset
agpgart: AGP aperture is 64M @ 0xa0000000
[drm] Initialized drm 1.0.0 20040925
PNP: PS/2 Controller [PNP0303:KBC,PNP0f03:PS2M] at 0x60,0x64 irq 1,12
i8042.c: Detected active multiplexing controller, rev 1.1.
serio: i8042 AUX0 port at 0x60,0x64 irq 12
serio: i8042 AUX1 port at 0x60,0x64 irq 12
serio: i8042 AUX2 port at 0x60,0x64 irq 12
serio: i8042 AUX3 port at 0x60,0x64 irq 12
serio: i8042 KBD port at 0x60,0x64 irq 1
Serial: 8250/16550 driver $Revision: 1.90 $ 4 ports, IRQ sharing disabled
RAMDISK driver initialized: 16 RAM disks of 4096K size 1024 blocksize
loop: loaded (max 8 devices)
Uniform Multi-Platform E-IDE driver Revision: 7.00alpha2
ide: Assuming 33MHz system bus speed for PIO modes; override with idebus=xx
mice: PS/2 mouse device common for all mice
input: PC Speaker as /class/input/input0
NET: Registered protocol family 2
input: AT Translated Set 2 keyboard as /class/input/input1
IP route cache hash table entries: 32768 (order: 5, 131072 bytes)
TCP established hash table entries: 131072 (order: 9, 2097152 bytes)
TCP bind hash table entries: 65536 (order: 8, 1310720 bytes)
TCP: Hash tables configured (established 131072 bind 65536)
TCP reno registered
TCP bic registered
NET: Registered protocol family 1
NET: Registered protocol family 17
Using IPI Shortcut mode
ACPI wakeup devices:
  LID BAT0 PBTN AUDI MODM USB0 USB1 LAN0
ACPI: (supports S0 S3 S4 S5)
Freeing unused kernel memory: 160k freed
input: PS/2 Generic Mouse as /class/input/input2
VP_IDE: IDE controller at PCI slot 0000:00:11.1
VP_IDE: chipset revision 6
VP_IDE: not 100% native mode: will probe irqs later
VP_IDE: VIA vt8231 (rev 10) IDE UDMA100 controller on pci0000:00:11.1
     ide0: BM-DMA at 0x1100-0x1107, BIOS settings: hda:DMA, hdb:pio
     ide1: BM-DMA at 0x1108-0x110f, BIOS settings: hdc:DMA, hdd:pio
Probing IDE interface ide0...
hda: FUJITSU MHT2040AT, ATA DISK drive
ide0 at 0x1f0-0x1f7,0x3f6 on irq 14
hda: max request size: 128KiB
hda: 78140160 sectors (40007 MB) w/2048KiB Cache, CHS=65535/16/63, UDMA(100)
hda: cache flushes supported
  hda: hda1 hda2 hda3 hda4 < hda5 hda6 hda7 >
Probing IDE interface ide1...
hdc: QSI DVD-ROM SDR-081, ATAPI CD/DVD-ROM drive
ide1 at 0x170-0x177,0x376 on irq 15
hdc: ATAPI 24X DVD-ROM drive, 512kB Cache, UDMA(33)
Uniform CD-ROM driver Revision: 3.20
ACPI: CPU0 (power states: C1[C1] C2[C2])
ACPI: Processor [CPU0] (supports 8 throttling states)
ACPI: Thermal Zone [THRM] (76 C)
ReiserFS: hda6: found reiserfs format "3.6" with standard journal
ReiserFS: hda6: using ordered data mode
ReiserFS: hda6: journal params: device hda6, size 8192, journal first block 18, max trans len 1024, max
  batch 900, max commit age 30, max trans age 30
ReiserFS: hda6: checking transaction log (hda6)
ReiserFS: hda6: Using r5 hash to sort names
ReiserFS: hda6: Removing [39627 97687 0x0 SD]..done
ReiserFS: hda6: There were 1 uncompleted unlinks/truncates. Completed
Adding 446536k swap on /dev/hda3.  Priority:-1 extents:1 across:446536k
Adding 1052216k swap on /dev/hda7.  Priority:-2 extents:1 across:1052216k
ReiserFS: hda6: warning: acl not supported.
ReiserFS: hda6: warning: user_xattr not supported.
NTFS driver 2.1.25 [Flags: R/O MODULE].
NTFS volume version 3.1.
ReiserFS: hda5: found reiserfs format "3.6" with standard journal
ReiserFS: hda5: using ordered data mode
ReiserFS: hda5: journal params: device hda5, size 8192, journal first block 18, max trans len 1024, max
  batch 900, max commit age 30, max trans age 30
ReiserFS: hda5: checking transaction log (hda5)
ReiserFS: hda5: Using r5 hash to sort names
via-rhine.c:v1.10-LK1.2.0-2.6 June-10-2004 Written by Donald Becker
PCI: Enabling device 0000:00:12.0 (0001 -> 0003)
ACPI: PCI Interrupt 0000:00:12.0[A] -> Link [LNKA] -> GSI 11 (level, low) -> IRQ 11
eth0: VIA Rhine II at 0xf0000000, 00:c0:9f:08:80:43, IRQ 11.
eth0: MII PHY found at address 1, status 0x7809 advertising 01e1 Link 0000.
usbcore: registered new driver usbfs
usbcore: registered new driver hub
USB Universal Host Controller Interface driver v2.3
ACPI: PCI Interrupt Link [LNKD] enabled at IRQ 11
ACPI: PCI Interrupt 0000:00:11.2[D] -> Link [LNKD] -> GSI 11 (level, low) -> IRQ 11
uhci_hcd 0000:00:11.2: UHCI Host Controller
uhci_hcd 0000:00:11.2: new USB bus registered, assigned bus number 1
uhci_hcd 0000:00:11.2: irq 11, io base 0x00001200
hub 1-0:1.0: USB hub found
hub 1-0:1.0: 2 ports detected
ACPI: PCI Interrupt Link [LNKC] enabled at IRQ 10
PCI: setting IRQ 10 as level-triggered
ACPI: PCI Interrupt 0000:00:11.5[C] -> Link [LNKC] -> GSI 10 (level, low) -> IRQ 10
PCI: Setting latency timer of device 0000:00:11.5 to 64
ACPI: PCI Interrupt 0000:00:0a.0[A] -> Link [LNKA] -> GSI 11 (level, low) -> IRQ 11
Yenta: CardBus bridge found at 0000:00:0a.0 [103c:0022]
Yenta O2: res at 0x94/0xD4: 00/ea
Yenta O2: enabling read prefetch/write burst
Yenta: ISA IRQ mask 0x0038, PCI irq 11
Socket status: 30000821
pccard: CardBus card inserted into slot 0
cdrom: open failed.
cdrom: open failed.
cdrom: open failed.
cs: IO port probe 0x3e0-0x4ff: clean.
cs: IO port probe 0x100-0x3af: excluding 0x378-0x37f
cs: IO port probe 0xc00-0xcff: clean.
cs: IO port probe 0x820-0x8ff: clean.
cs: IO port probe 0xa00-0xaff: clean.
eth0: link down
ACPI: AC Adapter [ADP0] (on-line)
ACPI: Battery Slot [BAT0] (battery present)
ACPI: Power Button (FF) [PWRF]
ACPI: Lid Switch [LID]
ACPI: Power Button (CM) [PBTN]
powernow: PowerNOW! Technology present. Can scale: frequency and voltage.
Detected 1100.260 MHz processor.
powernow: SGTC: 10000
powernow: Minimum speed 500 MHz. Maximum speed 1100 MHz.