[SeaBIOS] Re: [PATCH] memmap: Fix gcc out-of-bounds warning