-warn: add_child('terminal'): child 'terminal' already has parent
+warn: DRAM device capacity (8192 Mbytes) does not match the address range assigned (128 Mbytes)
warn: Sockets disabled, not accepting terminal connections
-warn: Reading current count from inactive timer.
warn: Sockets disabled, not accepting gdb connections
+warn: Reading current count from inactive timer.
warn: Don't know what interrupt to clear for console.
-warn: x86 cpuid: unknown family 0xbacc
-warn: x86 cpuid: unknown family 0xbacc
-warn: x86 cpuid: unknown family 0xbacc
-warn: instruction 'fxsave' unimplemented
warn: x86 cpuid: unknown family 0x8086
warn: x86 cpuid: unknown family 0x8086
-warn: x86 cpuid: unimplemented function 8
-warn: x86 cpuid: unimplemented function 8
+warn: x86 cpuid: unknown family 0x8086
warn: Tried to clear PCI interrupt 14
warn: Unknown mouse command 0xe1.
warn: instruction 'wbinvd' unimplemented
-hack: be nice to actually delete the event here