Re: proper debuginfo for embedded vDSO