I just got a semi-new HP laptop and it fails to boot unless I disable
acpi.  This isn't a big deal in itself, but it seems that it doesn't
use both cores of the CPU when this is done.  Is this normal?

It's an HP ProBook 4510s if that's at all interesting...

Included are the dmesg from when it fails to boot including trace and
ps data (all typed by hand, so I hope it helps! =) and a dmesg with acpi
disabled.

[ using 707600 bytes of bsd ELF symbol table ]
Copyright (c) 1982, 1986, 1989, 1991, 1993
	The Regents of the University of California.  All rights
reserved. Copyright (c) 1995-2010 OpenBSD.  All rights reserved.
http://www.OpenBSD.org

OpenBSD 4.7 (GENERIC.MP) #449: Wed Mar 17 20:55:07 MDT 2010
    deraadt@i386.openbsd.org:/usr/src/sys/arch/i386/compile/GENERIC.MP
RTC BIOS diagnostic error
7f<ROM_cksum,config_unit,memory_size,fixed_disk,invalid_time> cpu0:
Intel(R) Core(TM)2 Duo CPU T6570 @ 2.10GHz ("GenuineIntel" 686-class)
2.10 GHz cpu0:
FPU,V86,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,SBF,SSE3,MWAIT,DS-CPL,VMX,EST,TM2,CX16,xTPR
real mem  = 2072080384 (1976MB) avail mem = 1998913536 (1906MB) RTC
BIOS diagnostic error
7f<ROM_cksum,config_unit,memory_size,fixed_disk,invalid_time> mainbus0
at root bios0 at mainbus0: AT/286+ BIOS, date 09/15/09, SMBIOS rev. 2.4
@ 0x7bac3000 (21 entries) bios0: vendor Hewlett-Packard version "68PZI
Ver. F.0F" date 10/20/2009 bios0: Hewlett-Packard HP ProBook 4510s
acpi0 at bios0: rev 2 acpi0: tables DSDT FACP HPET APIC MCFG ASF! SSDT
SLIC SSDT SSDT SSDT acpi0: wakeup devices LANC(S5) HDEF(S4) RP02(S5)
WNIC(S5) RP03(S5) ECF0(S5) RP05(S5) ECF0(S5) RP06(S5) NIC_(S5) USB1(S3)
USB2(S3) USB3(S3) USB4(S3) USB5(S3) USB6(S3) U6RM(S3) EHCI(S3) EHC2(S3)
PCIB(S5) HST1)S5) acpitimer0 at acpi0: 3579545 Hz, 24 bits acpihpet0 at
acpi0: 14318179 Hz acpimadt0 at acpi0 addr0xfee00000: PC-AT compat cpu0
at mainbus0: apid 0 (boot processor) cpu0: apic clock running at 199MHz
cpu1 at mainbus0: ...
[ message continues ]

Yes, normal, newer systems lack the legacy Intel MP mappings.. so if you
disable ACPI there is no information available that the kernel can use.

Not booting is a bug, in either in the ACPI tables or OpenBSD, you
should report it.. and run the SP kernel until then.

Check for BIOS updates, as well.

-Bryan.

[ message continues ]

something in the gpe handler screwing up.  please tar up the output of
acpidump -o hplaptop and send that to me


[ message continues ]

On Sat, 12 Jun 2010 18:45:51 -0500

	Attached...  Please let me know if I can do anything else.

--TimH

[demime 1.01d removed an attachment of type application/x-compressed-tar]

[ message continues ]

He said that you need to send it to him and to misc@ ;-) Attachments
are not allowed on misc@.


[ message continues ]

On Sun, 13 Jun 2010 08:56:14 +0200

	Yeah, I realized I was being stupid the second I hit send...  I
apologize.

--TimH

[ message continues ]