[SeaBIOS] [RFC PATCH v4 20/30] balloon: update with hotplugged memory