[18:32] <thinkpaduser> does anyone know what CPU kernel option i should use for an Intel Core 2 CPU T5500  @ 1.66GHz?