[SeaBIOS] [PATCH 15/15] Experiment with SeaBIOS internal memory above 4GB