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.