MSI: Use the effective APIC id of the boot CPU for the address destination.

* This should only affect systems where the CPU ids aren't sequential (mostly
non Intel).
* Fixes #9807.

headers/private/kernel/arch/x86/msi.h

@@ -24,7 +24,6 @@
 #define MSI_DELIVERY_MODE_EXT_INT		0x00000700
 
 
-void		msi_init();
 bool		msi_supported();
 status_t	msi_allocate_vectors(uint8 count, uint8 *startVector,
 				uint64 *address, uint16 *data);

headers/private/kernel/arch/x86/msi_priv.h

@@ -0,0 +1,12 @@
+/*
+ * Copyright 2010-2011, Michael Lotz, [email protected]. All Rights Reserved.
+ * Distributed under the terms of the MIT license.
+ */
+#ifndef _KERNEL_ARCH_x86_MSI_PRIV_H
+#define _KERNEL_ARCH_x86_MSI_PRIV_H
+
+
+void msi_init(kernel_args* args);
+
+
+#endif // _KERNEL_ARCH_x86_MSI_PRIV_H