[SeaBIOS] [SeaBIOS PATCH 0/2] Allow non-contiguous APIC IDs (v3)