[patch] Fix 64-bit->32-bit vDSO reporting