Re: [SeaBIOS] [PATCH] apic_id_is_present: fix undefined behavior