Re: irq_routing_table can't be copied to 0xf0000