Re: [SeaBIOS] SeaBIOS, FW_CFG_NUMA, and FW_CFG_MAX_CPUS