[SeaBIOS] [PATCH 09/10] malloc: Don't mix virtual and physical addresses