[PATCH] vDSO hash-style fix