This patch fixes waste of interrupt vector pool by not
allocating an interrupt vector to a GSI which has no corresponding
IO SAPIC.