29/37 alpha: add printk() KERN_ constants to

index 4ac2b32..7987cde 100644
@@ -135,8 +135,10 @@ jensen_device_interrupt(unsigned long ve
 
 	switch (vector) {
 	case 0x660:
-		printk("Whee.. NMI received. Probable hardware error\n");
-		printk("61=%02x, 461=%02x\n", inb(0x61), inb(0x461));
+		printk(KERN_ERR "%s: Whee.. NMI received. Probable hardware error\n",
+			__FUNCTION__);
+		printk(KERN_ERR "%s: 61=%02x, 461=%02x\n",
+			__FUNCTION__, inb(0x61), inb(0x461));
 		return;
 
 	/* local device interrupts: */

@@ -147,7 +149,7 @@ jensen_device_interrupt(unsigned long ve
 
 	default:
 		if (vector > 0x900) {
-			printk("Unknown local interrupt %lx\n", vector);
+			printk(KERN_ERR "Unknown local interrupt %lx\n", vector);
 			return;
 		}