Index: kernel/arch/ia64/src/cpu/cpu.c
===================================================================
--- kernel/arch/ia64/src/cpu/cpu.c	(revision b60c582d0cf4f0476a720c8e05bd742fbffc87ce)
+++ kernel/arch/ia64/src/cpu/cpu.c	(revision ff211d250373e7bc4e7c6a89838a8a7a4dea9e8f)
@@ -54,9 +54,9 @@
 	char vendor[2 * sizeof(uint64_t) + 1];
 	
-	*((uint64_t *) &vendor[0 * sizeof(uint64_t)]) = CPU->arch.cpuid0;
-	*((uint64_t *) &vendor[1 * sizeof(uint64_t)]) = CPU->arch.cpuid1;
+	memcpy(vendor, &CPU->arch.cpuid0, 8);
+	memcpy(vendor + 8, &CPU->arch.cpuid1, 8);
 	vendor[sizeof(vendor) - 1] = 0;
 	
-	switch(m->arch.cpuid3.family) {
+	switch (m->arch.cpuid3.family) {
 	case FAMILY_ITANIUM:
 		family_str = "Itanium";