Re: [SeaBIOS] Help needed with ASSERT32FLAT()