[SeaBIOS] [PATCH] Add config option to support memory allocations in 9-segment.