Another data point.
From my log.
biosint: INT# 0x18 biosint: eax 0x84e53 ebx 0x38 ecx 0xff0 edx 0x87ed8 biosint: ebp 0x60000000 esp 0x87f60 edi 0x15 esi 0x0 biosint: ip 0x28 cs 0x1000 flags 0x26
That's just bogus as far as I can tell. Note that edi is 15, kind of looks like the interrupt. ebp is 60000000, kind of looks like cs and something else.
And so on. It's like we got someone else's stack frame.
ron