[SeaBIOS] [PATCH 08/15] malloc: Don't mix virtual and physical addresses