[SeaBIOS] [PATCH] memory hotplug