Just for the record, I've been able to obtain a stable bios configuration. See the dmesg output below. I've realized that the problems I've been experiencing (uvm_fault previously, and strange unexpected reboots during boot-ups recently) are related with the audio configuration in bios settings. If I disable the audio (which is totally useless in my case), the system becomes unstable. So I left it enabled, and now everything seems fine and quite stable.
Thanks for the replies, OpenBSD 4.1 (GENERIC.MP) #1152: Sat Mar 10 19:22:57 MST 2007 [EMAIL PROTECTED]:/usr/src/sys/arch/amd64/compile/GENERIC.MP real mem = 1039446016 (1015084K) avail mem = 878047232 (857468K) using 22937 buffers containing 104153088 bytes (101712K) of memory mainbus0 (root) bios0 at mainbus0: SMBIOS rev. 2.3 @ 0xf0740 (51 entries) bios0: ASUSTeK Computer INC. M2V-MX acpi at mainbus0 not configured mainbus0: Intel MP Specification (Version 1.1) cpu0 at mainbus0: apid 0 (boot processor) cpu0: AMD Athlon(tm) 64 X2 Dual Core Processor 4200+, 2200.29 MHz cpu0: FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CFLUSH,MMX,FXSR,SSE,SSE2,HTT,SSE3,CX16,NXE,MMXX,FFXSR,LONG,3DNOW2,3DNOW cpu0: 64KB 64b/line 2-way I-cache, 64KB 64b/line 2-way D-cache, 512KB 64b/line 16-way L2 cache cpu0: ITLB 32 4KB entries fully associative, 8 4MB entries fully associative cpu0: DTLB 32 4KB entries fully associative, 8 4MB entries fully associative cpu0: apic clock running at 199MHz cpu1 at mainbus0: apid 1 (application processor) cpu1: AMD Athlon(tm) 64 X2 Dual Core Processor 4200+, 2200.00 MHz cpu1: FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CFLUSH,MMX,FXSR,SSE,SSE2,HTT,SSE3,CX16,NXE,MMXX,FFXSR,LONG,3DNOW2,3DNOW cpu1: 64KB 64b/line 2-way I-cache, 64KB 64b/line 2-way D-cache, 512KB 64b/line 16-way L2 cache cpu1: ITLB 32 4KB entries fully associative, 8 4MB entries fully associative cpu1: DTLB 32 4KB entries fully associative, 8 4MB entries fully associative mpbios: bus 0 is type PCI mpbios: bus 1 is type PCI mpbios: bus 2 is type PCI mpbios: bus 3 is type PCI mpbios: bus 4 is type PCI mpbios: bus 5 is type PCI mpbios: bus 6 is type ISA ioapic0 at mainbus0 apid 2 pa 0xfec00000, version 3, 24 pins ioapic1 at mainbus0 apid 3 pa 0xfecc0000, version 3, 24 pins pci0 at mainbus0 bus 0: configuration mode 1 pchb0 at pci0 dev 0 function 0 "VIA K8M890 Host" rev 0x00 pchb1 at pci0 dev 0 function 1 "VIA K8M890 Host" rev 0x00 pchb2 at pci0 dev 0 function 2 "VIA K8M890 Host" rev 0x00 pchb3 at pci0 dev 0 function 3 "VIA K8M890 Host" rev 0x00 pchb4 at pci0 dev 0 function 4 "VIA K8M890 Host" rev 0x00 "VIA K8M890 IOAPIC" rev 0x00 at pci0 dev 0 function 5 not configured pchb5 at pci0 dev 0 function 6 "VIA K8M890 Host" rev 0x00 pchb6 at pci0 dev 0 function 7 "VIA K8M890 Host" rev 0x00 ppb0 at pci0 dev 1 function 0 "VIA K8HTB AGP" rev 0x00 pci1 at ppb0 bus 1 vga1 at pci1 dev 0 function 0 "VIA DeltaChrome Video" rev 0x11 wsdisplay0 at vga1 mux 1: console (80x25, vt100 emulation) wsdisplay0: screen 1-5 added (80x25, vt100 emulation) ppb1 at pci0 dev 2 function 0 "VIA K8T890 PCI-PCI" rev 0x00 pci2 at ppb1 bus 2 ppb2 at pci0 dev 3 function 0 "VIA K8T890 PCI-PCI" rev 0x00 pci3 at ppb2 bus 3 pciide0 at pci0 dev 15 function 0 "VIA VT8237A SATA" rev 0x80: DMA pciide0: using apic 2 int 21 (irq 5) for native-PCI interrupt wd0 at pciide0 channel 0 drive 0: <WDC WD2500JS-22NCB1> wd0: 16-sector PIO, LBA48, 238475MB, 488397168 sectors wd0(pciide0:0:0): using PIO mode 4, Ultra-DMA mode 5 pciide1 at pci0 dev 15 function 1 "VIA VT82C571 IDE" rev 0x07: DMA, channel 0 configured to compatibility, channel 1 configured to compatibility pciide1: channel 0 disabled (no drives) pciide1: channel 1 disabled (no drives) pcib0 at pci0 dev 17 function 0 "VIA VT8237A ISA" rev 0x00 pchb7 at pci0 dev 17 function 7 "VIA VT8251 VLINK" rev 0x00 ppb3 at pci0 dev 19 function 0 "VIA VT8237A PCI-PCI" rev 0x00 pci4 at ppb3 bus 4 azalia0 at pci4 dev 1 function 0 "VIA HD Audio" rev 0x10: apic 2 int 17 (irq 5) azalia0: host: High Definition Audio rev. 1.0 azalia0: codec: 0x04x/0x10ec (rev. 0.2), HDA version 1.0 audio0 at azalia0 ppb4 at pci0 dev 19 function 1 "VIA VT8237A PCI-PCI" rev 0x00 pci5 at ppb4 bus 5 vr0 at pci5 dev 7 function 0 "VIA VT6105 RhineIII" rev 0x86: apic 2 int 17 (irq 5), address 00:08:54:3c:b4:00 ukphy0 at vr0 phy 1: Generic IEEE 802.3u media interface, rev. 4: OUI 0x004063, model 0x0034 rl0 at pci5 dev 9 function 0 "Realtek 8139" rev 0x10: apic 2 int 20 (irq 3), address 00:1b:fc:1b:34:fe rlphy0 at rl0 phy 0: RTL internal PHY pchb8 at pci0 dev 24 function 0 "AMD AMD64 HyperTransport" rev 0x00 pchb9 at pci0 dev 24 function 1 "AMD AMD64 Address Map" rev 0x00 pchb10 at pci0 dev 24 function 2 "AMD AMD64 DRAM Cfg" rev 0x00 pchb11 at pci0 dev 24 function 3 "AMD AMD64 Misc Cfg" rev 0x00 isa0 at pcib0 isadma0 at isa0 com0 at isa0 port 0x3f8/8 irq 4: ns16550a, 16 byte fifo pckbc0 at isa0 port 0x60/5 pckbd0 at pckbc0 (kbd slot) pckbc0: using irq 1 for kbd slot wskbd0 at pckbd0: console keyboard, using wsdisplay0 pcppi0 at isa0 port 0x61 midi0 at pcppi0: <PC speaker> spkr0 at pcppi0 lpt0 at isa0 port 0x378/4 irq 7 it2 at isa0 port 0xd00/8: IT87 fdc0 at isa0 port 0x3f0/6 irq 6 drq 2 dkcsum: wd0 matches BIOS drive 0x80 root on wd0a rootdev=0x0 rrootdev=0x300 rawdev=0x302