Jiaxun Yang Wed, 23 Jan 2019 19:28:16 -0800
v1->v2: Fix SPDX-License-Identifier v2->v3: Rework according suggestions from Marc Zyngier, Thanks.