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