Thanks. EFI BIOS stopped working with qemu/trunk r3371. From the
change log:
------------------------------------------------------------------------
r3371 | ths | 2007-10-09 05:08:56 +0200 (Di, 09 Okt 2007) | 3 lines
Don't route PIC interrupts through the local APIC if the local APIC
config says so. By Ari Kivity.
------------------------------------------------------------------------
The bug comes from function pic_irq_request in pc.c.
I can fix it for r3371 by adding cpu_reset_interrupt (like in r3370),
but the code in the current trunk is totally different.
Could the pic experts please have a look?
Stefan