[SeaBIOS] [RFC PATCH v3 10/19] fix live-migration when "populated=on" is missing