Re: [SeaBIOS] [PATCH] smp: Fix smp race introduced in 0673b787