[SeaBIOS] [PATCH] Set numa topology for max_cpus