x86: Use kmem_alloc3 for cpu0's ipiq