> So the vcpu will jump to an un
>This doesn't seem like a SeaBIOS issue. >The real-mode handlers
>installed at 0x60-0x66 are intended for >software interrupts; not for
>hardware raised interrupts.