Page 281 of the K22 PIC has all the settings of the BRGH, BRG16, SPBRGx in relation to the system Clock.

Also, depending whether you have RS232 driver or not you have to set or reset the BAUDCONx bits 4 and 5.

If you will use on both Rx and Tx pins a driver (like the MAX232) then these bits should be 0. If you connect directly to another TTL serial port then these bits should be 1.

Ioannis