--- /dev/null
+coreboot-4.0-1974-gcda56b0-dirty Wed Jan 25 16:24:46 CET 2012 starting...
+
+BSP Family_Model: 00100fa0
+
+*sysinfo range: [000cc000,000cf360]
+bsp_apicid = 00
+cpu_init_detectedx = 00000000
+microcode: equivalent rev id = 0x10a0, current patch id = 0x00000000
+microcode: patch id to apply = 0x010000bf
+microcode: updated to patch id = 0x010000bf success
+
+POST: 0x33
+cpuSetAMDMSR FIXME! CPU Version unknown or not supported! 0x000100a0
+FIXME! CPU Version unknown or not supported! 0x000100a0
+FIXME! CPU Version unknown or not supported! 0x000100a0
+ done
+POST: 0x34
+Enter amd_ht_init()
+Exit amd_ht_init()
+POST: 0x35
+before finalize_node_setup()
+SB800 - src/southbridge/amd/cimx/sb800/early.c - get_sbdn - Start.
+