ski: Configure own processor type for Ski

So far this was configured as McKinley, but the exposed processor
features are actually on par with a Montecito - hence the naming
in the Linux kernel: MonteSkito for a family 31/model 3 processor -
and exceed those of a Madison.

src/state.c

@@ -69,7 +69,7 @@ const REG cpuids[NCPUIDS] = { 0x2d7474656c776548ULL, 0x006472616b636150ULL,
 #else
 const REG cpuids[NCPUIDS] = { 0x5320696b53205048ULL, 0x726f74616c756d69ULL,
 #endif
-			      0,                     0x000000001f000004ULL,
+			      0,                     0x000000001f030004ULL,
 			      0x5ULL };
 
 unsigned n_stack_phys /* = 96 */;	/* initialized in InitPlatform() */