[RFC PATCH 00/13] Introduce per-vCPU vLPI injection control API