Re: [SeaBIOS] Alt SeaBIOS SSDT cpu hotplug