Nick: anonymous
E-mail: none
Board: unknown
Contents: 
CPU #0 initialized
Initializing CPU #1
CPU: vendor Intel device 306c3
CPU: family 06, model 3c, stepping 03
Setting up local APIC...
 apic_id: 0x02 done.
IA32_FEATURE_CONTROL already locked; VMX status: enabled
IA32_FEATURE_CONTROL already locked
haswell: energy policy set to 6
haswell: frequency set to 3300
CPU #1 initialized
bsp_do_flight_plan done after 154 msecs.
Enabling SMIs.
Locking SMM.
CPU_CLUSTER: 0 init finished in 353608 usecs
PCI: 00:00.0 init ...
Disabling PEG12.
Disabling PEG11.
Disabling IGD.
Disabling "device 4".
Disabling "device 7".
Set BIOS_RESET_CPL
CPU TDP: 53 Watts
PCI: 00:00.0 init finished in 16729 usecs
PCI: 00:03.0 init ...
Mini-HD: base = e3310000
HDA: Initializing codec #3
  codec not ready.
HDA: Initializing codec #2
  codec not ready.
HDA: Initializing codec #1
  codec not ready.
HDA: Initializing codec #0
  codec not ready.
PCI: 00:03.0 init finished in 22316 usecs
PCI: 00:14.0 init ...
IOBP: set 0xe5004001 to 0x000000ce
PCI: 00:14.0 init finished in 5181 usecs
PCI: 00:16.0 init ...
ME: FW Partition Table      : OK