RFR (S): 8020425: Product options incorrectly removed in minor version

[Vladimir Kozlov]

http://cr.openjdk.java.net/~kvn/8020425/webrev/

When run jdk7u40 with flags we removed (6677625) give warning and ignore 
flags:

java -XX:+UseSpinning -version

Java HotSpot(TM) 64-Bit Server VM warning: ignoring option UseSpinning; 
support was removed in 7.0_40


Thanks,
Vladimir