1 coreboot-4.0-1974-gcda56b0-dirty Wed Jan 25 14:39:45 CET 2012 starting...
3 BSP Family_Model: 00100fa0
4 *sysinfo range: [000cc000,000cf360]
6 cpu_init_detectedx = 00000000
7 microcode: equivalent rev id = 0x10a0, current patch id = 0x00000000
8 microcode: patch id to apply = 0x010000bf
9 microcode: updated to patch id = 0x010000bf success
11 cpuSetAMDMSR FIXME! CPU Version unknown or not supported!
12 FIXME! CPU Version unknown or not supported!
13 FIXME! CPU Version unknown or not supported!
17 SB800 - src/southbridge/amd/cimx/sb800/early.c - get_sbdn - Start.