[PATCH 6.7 071/713] x86/hyperv: Allow 15-bit APIC IDs for VTL platforms