Re: [SeaBIOS] [PATCH v4 3/5] error out if present cpus count changed during SMP bringup