Re: [SeaBIOS] [PATCH] nmi: Don't try to switch onto extra stack in NMI handler