 +	case 0x12:
 +	case 0x14:
 +	case 0x15:
++	case 0x16:
  		/*
  		 * There is only one sensor per package.
  		 */
-@@ -289,6 +342,9 @@
+@@ -289,6 +346,9 @@
  	if (sc->sc_ncores > MAXCPU)
  		return (ENXIO);
  

 		 * - ThermSenseCoreSel
 		 *
 		 * Revision F & G:	0 - Core1, 1 - Core0
@@ -254,15 +261,37 @@
 		 * ThermSenseCoreSel work in undocumented cases as well.
 		 * In fact, the Linux driver suggests it may not work but
 		 * we just assume it does until we find otherwise.

 	}
 
 	/*
@@ -377,7 +445,7 @@
 			sysctlctx = device_get_sysctl_ctx(cpu);
 
 			sensor = sc->sc_ntemps > 1 ?
