[SeaBIOS] Fwd: [PATCH] resume: reset mmconfig to zero