| warn: DRAM device capacity (8192 Mbytes) does not match the address range assigned (128 Mbytes) |
| warn: Sockets disabled, not accepting terminal connections |
| 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 0x8086 |
| warn: x86 cpuid: unknown family 0x8086 |
| warn: x86 cpuid: unknown family 0x8086 |
| warn: Tried to clear PCI interrupt 14 |
| warn: Unknown mouse command 0xe1. |
| warn: instruction 'wbinvd' unimplemented |
