[SeaBIOS] Alt SeaBIOS SSDT cpu hotplug