x86: use start_ipi_hook in x86_64