kprintf(KINFO "OEM: %s\n", toc->oem_id);
kprintf(KINFO "IOAPIC address: %p\n", toc->madt.ioapic->ioapic_addr);
kprintf(KINFO "APIC address: %p\n", toc->madt.apic_addr);
kprintf(KINFO "OEM: %s\n", toc->oem_id);
kprintf(KINFO "IOAPIC address: %p\n", toc->madt.ioapic->ioapic_addr);
kprintf(KINFO "APIC address: %p\n", toc->madt.apic_addr);