[SeaBIOS] Help needed with ASSERT32FLAT()