[SeaBIOS] [PATCH 06/15] malloc: Use consistent naming for internal low-level "alloc" functions