Change the Kernel 64 bits

I have one server pSeries with aix 5.1 and this server is at 32 bits for the kernel, I want to chenge the kernal at 64 bits, but I dont Knoiw uf this change one can already make with the SW InfoPrintManager is installed.
Does somebody know if one can?