ia64: Print fpswa revision number. Based on patch by

	KOCHI Takayoshi.

arch/ia64/kernel/traps.c

@@ -49,10 +49,15 @@ static fpswa_interface_t *fpswa_interface;
 void __init
 trap_init (void)
 {
-	printk("fpswa interface at %lx\n", ia64_boot_param->fpswa);
-	if (ia64_boot_param->fpswa)
+	int major = 0, minor = 0;
+
+	if (ia64_boot_param->fpswa) {
 		/* FPSWA fixup: make the interface pointer a kernel virtual address: */
 		fpswa_interface = __va(ia64_boot_param->fpswa);
+		major = fpswa_interface->revision & 0xffff;
+		minor = fpswa_interface->revision >> 16;
+	}
+	printk("fpswa interface at %lx (rev %d.%d)\n", ia64_boot_param->fpswa, major, minor);
 }
 
 /*

include/asm-ia64/system.h

@@ -409,7 +409,7 @@ extern void ia64_load_extra (struct task_struct *task);
 		{							\
 			ia64_psr(ia64_task_regs(next))->dfh = 0;	\
 			ia64_psr(ia64_task_regs(next))->mfh = 0;	\
-		} else						\
+		} else							\
 			ia64_psr(ia64_task_regs(next))->dfh = 1;	\
 	}								\
 	__switch_to(prev,next,last);					\