1 warn: Sockets disabled, not accepting terminal connections
2 warn: Reading current count from inactive timer.
3 warn: Sockets disabled, not accepting gdb connections
4 warn: Don't know what interrupt to clear for console.
5 warn: instruction 'fxsave' unimplemented
6 warn: x86 cpuid: unknown family 0x8086
7 warn: Tried to clear PCI interrupt 14
8 warn: Unknown mouse command 0xe1.
9 warn: instruction 'wbinvd' unimplemented
10 hack: be nice to actually delete the event here