Re: headers_check warnings in drm headers