[SeaBIOS] [seabios PATCH 2/2] allow CPUs to have non-contiguous Local APIC IDs