Automatic: x86-mario-release - Updating to a new version number from 5712.48.0

Change-Id: I5df1e0fa5fa670bbbf9a2ce02d1b090d20efa876
1 file changed