make default kernel 14

Philip,
Does it hurt to make the default kernel 14? Do you need this tested?