Subject: [PATCH v2 5/5] arm64/xen: introduce CONFIG_XEN and hypercall.S on ARM64

From: [email-masked] (Konrad Rzeszutek Wilk)
Date: Tue, 4 Jun 2013 10:47:41 -0400

> BTW, I think it's missing a MAINTAINERS file update.

I presume you mean that Stefano should have the MAINTAINERS file updated to include
him being the maintainer of arch/arm64/xen* ?