Can someone who maintains the x86-64 io_apic.c look at my patch about 256 apic id for amd64? YH