[SeaBIOS] [seabios PATCH 0/2] Allow non-contiguous APIC IDs