--- /dev/null
+coreboot-4.0-1974-gcda56b0-dirty Wed Jan 25 14:39:45 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
+
+cpuSetAMDMSR FIXME! CPU Version unknown or not supported!
+FIXME! CPU Version unknown or not supported!
+FIXME! CPU Version unknown or not supported!
+ done
+Enter amd_ht_init()
+Exit amd_ht_init()
+SB800 - src/southbridge/amd/cimx/sb800/early.c - get_sbdn - Start.
+