proper debuginfo for embedded vDSO