[SeaBIOS] Re: [PATCH 1/1] stacks: fix missing NMI_DISABLE_BIT on call32_post()

[Heitor Alves de Siqueira]

Thank you very much for the explanation, Kevin!

This has really helped in understanding these sections of the code. I agree that
without a reproducer, this is going to be really difficult to debug
further. I'll see if we can't get more data from the users that reported this
with debug builds of seabios, and hopefully we'll be able to find the cause.

Cheers,
Heitor