Clean up various aspects of the vDSO code, no change in
functionality intended.

Signed-off-by: Ingo Molnar <mingo@kernel.org>