config.generator: remove the total number of options

This is not really useful, and has the unbearable side effect of triggering
merge errors when two patches modifying the number total of options go in at
the same time.

The merge could very likely succeed is there was not this particular line,
so let's drop it!

Change-Id: Iff7a0b71e88ab573ea668538ad6eba989e9a77b4
Merge "config.generator: remove the total number of options"