fifteen: increase size of pae kernel.