Re: [SeaBIOS] About cpu_set, CPU hotplug and related subjects