--- usched_bsd4.c	2012-08-29 11:56:40.469773000 +0100
+++ usched_bsd4_new.c	2012-08-29 12:01:18.968118000 +0100
@@ -1913,8 +1913,12 @@
 						    "Package Siblings: ", i);
 					break;
 				default:
+					/* Let's go for safe defaults here */
+					smt_not_supported = 1;
+					cache_coherent_not_supported = 1;
 					if (bootverbose)
-						kprintf ("\tcpu%d - Unknown cpunode->type. Siblings: ", i);
+						kprintf ("\tcpu%d - Unknown cpunode->type=%u. Siblings: ",
+						    i, (unsigned int)dd->cpunode->type);
 					break;
 			}