--- usingTinyBIOS.log	2013-04-12 21:02:30.539048102 +0200
+++ usingCoreboot.log	2013-04-12 21:02:30.534048165 +0200
@@ -2,21 +2,23 @@
     root@test.my.domain:/usr/src/sys/arch/i386/compile/GENERIC
 cpu0: Geode(TM) Integrated Processor by AMD PCS ("AuthenticAMD" 586-class) 499 MHz
 cpu0: FPU,DE,PSE,TSC,MSR,CX8,SEP,PGE,CMOV,CFLUSH,MMX,MMXX,3DNOW2,3DNOW
-real mem  = 267976704 (255MB)
-avail mem = 252264448 (240MB)
+real mem  = 259321856 (247MB)
+avail mem = 243748864 (232MB)
 mainbus0 at root
-bios0 at mainbus0: AT/286+ BIOS, date 11/05/08, BIOS32 rev. 0 @ 0xfd088
+bios0 at mainbus0: AT/286+ BIOS, date 06/23/99, BIOS32 rev. 0 @ 0xfc789, SMBIOS rev. 2.7 @ 0xf7c1420 (6 entries)
+bios0: vendor coreboot version "4.0-4007-g1a5c9cd-dirty" date 04/12/2013
+bios0: PC Engines ALIX.2D
+acpi at bios0 function 0x0 not configured
 pcibios0 at bios0: rev 2.1 @ 0xf0000/0x10000
 pcibios0: pcibios_get_intr_routing - function not supported
 pcibios0: PCI IRQ Routing information unavailable.
 pcibios0: PCI bus #0 is the last bus
-bios0: ROM list: 0xe0000/0xa800
+bios0: ROM list: 0xef000/0x1000!
 cpu0 at mainbus0: (uniprocessor)
 amdmsr_probe(): entry
 amdmsr_probe(): cpu_vendor match!!
 amdmsr_probe(): graph check1 ok!!
-amdmsr_probe(): graph check2 FAIL
-value returned: D0C1EE10
+amdmsr_probe(): graph check2 ok!!
 amdmsr0 at mainbus0
 pci0 at mainbus0 bus 0: configuration mode 1 (bios)
 pchb0 at pci0 dev 1 function 0 "AMD Geode LX" rev 0x33
@@ -25,7 +27,7 @@
 ukphy0 at vr0 phy 1: Generic IEEE 802.3u media interface, rev. 3: OUI 0x004063, model 0x0034
 vr1 at pci0 dev 10 function 0 "VIA VT6105M RhineIII" rev 0x96: irq 11, address 00:0d:b9:20:13:29
 ukphy1 at vr1 phy 1: Generic IEEE 802.3u media interface, rev. 3: OUI 0x004063, model 0x0034
-vr2 at pci0 dev 11 function 0 "VIA VT6105M RhineIII" rev 0x96: irq 15, address 00:0d:b9:20:13:2a
+vr2 at pci0 dev 11 function 0 "VIA VT6105M RhineIII" rev 0x96: irq 9, address 00:0d:b9:20:13:2a
 ukphy2 at vr2 phy 1: Generic IEEE 802.3u media interface, rev. 3: OUI 0x004063, model 0x0034
 glxpcib0 at pci0 dev 15 function 0 "AMD CS5536 ISA" rev 0x03: rev 3, 32-bit 3579545Hz timer, watchdog, gpio, i2c
 gpio0 at glxpcib0: 32 pins
@@ -36,8 +38,8 @@
 wd0: 1-sector PIO, LBA48, 3811MB, 7806960 sectors
 wd0(pciide0:0:0): using PIO mode 4, Ultra-DMA mode 2
 pciide0: channel 1 ignored (disabled)
-ohci0 at pci0 dev 15 function 4 "AMD CS5536 USB" rev 0x02: irq 12, version 1.0, legacy support
-ehci0 at pci0 dev 15 function 5 "AMD CS5536 USB" rev 0x02: irq 12
+ohci0 at pci0 dev 15 function 4 "AMD CS5536 USB" rev 0x02: irq 9, version 1.0, legacy support
+ehci0 at pci0 dev 15 function 5 "AMD CS5536 USB" rev 0x02: irq 9
 usb0 at ehci0: USB revision 2.0
 uhub0 at usb0 "AMD EHCI root hub" rev 2.00/1.00 addr 1
 isa0 at glxpcib0