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.