Re: [PATCH libdrm] android: make libdrm*.so available to the vendor partition