9 maintainers not CCed: catalin.marinas@arm.com will@kernel.org bp@alien8.de tglx@linutronix.de mingo@redhat.com hpa@zytor.com dave.hansen@linux.intel.com x86@kernel.org linux-arm-kernel@lists.infradead.org