RE: [PATCH 0/3] Program GIC LPI configuration table