Re: [SeaBIOS] [PATCH 4/4] stacks: There is no need to disable NMI if it is already disabled