On Thu, Sep 26, 2019 at 10:43:40PM +0100, Vincenzo Frascino wrote: > Note: This fix is meant to be temporary, a more comprehensive solution > based on the refactoring of the generic headers will be provided with a > future patch set. At that point it will be possible to revert this patch.
With this note, I'm fine with the patch. Reviewed-by: Catalin Marinas <catalin.mari...@arm.com>