1 coreboot-4.0-2000-gba4d455-dirty Fri Feb 3 01:56:00 CET 2012 starting...
\r
3 BSP Family_Model: 00100fa0
\r
4 *sysinfo range: [000cc000,000cf360]
\r
6 cpu_init_detectedx = 00000000
\r
7 microcode: equivalent rev id = 0x10a0, current patch id = 0x00000000
\r
8 microcode: patch id to apply = 0x010000bf
\r
9 microcode: updated to patch id = 0x010000bf success
\r
17 SB900 - Early.c - get_sbdn - Start.
\r