The x86 vDSO has only one PT_LOAD. If there are real problems with the calculations, those are generic.