coreboot-4.0-1996-gbd5f30d-dirty Thu Feb  2 17:49:47 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  done
Enter amd_ht_init()
Exit amd_ht_init()
SB800 - src/southbridge/amd/cimx/sb800/early.c - get_sbdn - Start.