[SeaBIOS] 9-segment allocator