Kernel freezes on boot after install (OpenBSD 5.0 release)

[grantwgmartin]

Hi All,
I have just installed OpenBSD 5.0 release onto a server machine and the kernel freezes on boot (see dmesg below) for both the bsd & bsd.mp kernels. The bsd.rd kernel boots perfectly fine.

While attempting some basic troubleshooting (i'm new to openbsd) I found that if the bios0 driver is disabled the kernel boots ok. I tried to re-enable the bios0 driver the and apply some of the flag settings mentioned in the man page but the kernel continued to freeze. I've also tried to disable the acpi driver however then a chain of other upstream drivers freeze including the isa driver.

I've captured the following dmesg output by redirecting the console output to a terminal. Please let me know if you need a verbose output?

>> OpenBSD/amd64 BOOT 3.17
boot> b
booting hd0a:/bsd: 5618712+1592396+928968+0+616832 [89+496224+321204]=0xd22638
entry point at 0x1001e0 [7205c766, 34000004, 24448b12, 2e18a304]
[ using 818360 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-2011 OpenBSD. All rights reserved. 

OpenBSD 5.0 (GENERIC) #53: Wed Aug 17 10:07:52 MDT 2011
    deraadt@amd64.openbsd.org:/usr/src/sys/arch/amd64/compile/GENERIC
real mem = 4005113856 (3819MB)
avail mem = 3884412928 (3704MB)
mainbus0 at root
bios0 at mainbus0: SMBIOS rev. 2.6 @ 0xeb000 (57 entries)
bios0: vendor Intel Corp. version "S1200BT.86B.01.00.0032.110720111133" date 11/07/2011
bios0: Intel Corporation S1200BTL
acpi0 at bios0: rev 2
acpi0: sleep states S0 S1 S3 S5
acpi0: tables DSDT FACP APIC SPMI MCFG WDDT HPET SSDT BOOT SSDT SSDT SSDT SSDT SSDT HEST BERT ERST EINJ
acpi0: wakeup devices ECIR(S4) PXSX(S4) RP01(S3) PXSX(S4) RP02(S3) PXSX(S4) RP03(S3) PXSX(S4) RP04(S3) PXSX(S4) RP05(S3) GBE2(S3) PXSX(S4) RP06(S3) PXSX(S4) RP07(S3) PXSX(S4) RP08(S3) P0P1(S3) PEG0(S3) PEGP(S3) PEG1(S3) PEG2(S3) PEG3(S3) GLAN(S3) EHC1(S3) EHC2(S3) HDEF(S3) SLPB(S4)
acpitimer0 at acpi0: 3579545 Hz, 24 bits
acpimadt0 at acpi0 addr 0xfee00000: PC-AT compat
cpu0 at mainbus0: apid 0 (boot processor)
cpu0: Intel(R) Xeon(R) CPU E31230 @ 3.20GHz, 3193.22 MHz
cpu0: FPU,VME,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,PCLMUL,MWAIT,DS-CPL,VMX,SMX,EST,TM2,SSSE3,CX16,xTPR,PDCM,SSE4.1,SSE4.2,x2APIC,POPCNT,AES,XSAVE,AVX,NXE,LONG
cpu0: 256KB 64b/line 8-way L2 cache
cpu0: apic clock running at 99MHz
cpu at mainbus0: not configured
cpu at mainbus0: not configured
cpu at mainbus0: not configured
cpu at mainbus0: not configured
cpu at mainbus0: not configured
cpu at mainbus0: not configured
cpu at mainbus0: not configured
ioapic0 at mainbus0: apid 2 pa 0xfec00000, version 20, 24 pins
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimadt0: unknown apic structure type 9
acpimcfg0 at acpi0 addr 0xf8000000, bus 0-63
acpihpet0 at acpi0: 14318179 Hz
acpiprt0 at acpi0: bus 0 (PCI0)
acpiprt1 at acpi0: bus 5 (RP01)
acpiprt2 at acpi0: bus -1 (RP02)
acpiprt3 at acpi0: bus -1 (RP03)
acpiprt4 at acpi0: bus -1 (RP04)
acpiprt5 at acpi0: bus 6 (RP05)
acpiprt6 at acpi0: bus 7 (RP06)
acpiprt7 at acpi0: bus -1 (RP07)
acpiprt8 at acpi0: bus -1 (RP08)
acpiprt9 at acpi0: bus 8 (P0P1)
acpiprt10 at acpi0: bus 1 (PEG0)
acpiprt11 at acpi0: bus -1 (PEG1)
acpiprt12 at acpi0: bus -1 (PEG2)
acpiprt13 at acpi0: bus -1 (PEG3)
acpiec0 at acpi0

I've tried to search google, man pages and the openbsd faq pages for some keyworks like bios0 freeze etc but can't seem to find any more hints and i'm feeling a little stuck. There is nothing mentioned in the 5.0 to current change log about a bios driver issue but i'm willing to give it a try.

Is there anything else I could try first?

Thanks,
Grant