On Fri, Oct 05, 2018 at 03:21:20PM +0100, James Morse wrote:

The SDEI header files had an 'arm_' namespace added, but the patterns
in the MAINTAINERS files were missed. Oops.

Reported-by: Joe Perches <joe@perches.com>
Signed-off-by: James Morse <james.morse@arm.com>
---
The SDEI stuff originally went via arm64, ... what about this?

I'll queue this patch for 4.20.

-- 
Catalin