Simplifies the call in apic_sipi() again and needed for moving halted
field to CPUState.
Signed-off-by: NAndreas Färber <afaerber@suse.de>
Reviewed-by: NIgor Mammedov <imammedo@redhat.com>