x86, ioapic: Factor out print_IO_APIC() to only print one io apic