> I tried setting it to pin2. It reboots when it jumps to the payload. hm OK. Perhaps it is really pin0. It could be found out from kernel. Just put some printk to print ioapic_i8259.pin right after label found_i8259 in io_apic.c If it is 0, then your coreboot mptable should be fixed. Rudolf