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