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

Change-Id: I7a6c6f3700f125cc4c4eb67afb031a0abc9c32d3
1 file changed