For the time being, just use the PIC25K22 loader firmware. The 18F25K22 and 18F45K22 are the same family with the same amount of ROM - RX and TX are located on the same pins (RC.6 and RC.7) so in bootloader terms, it will work in exactly the same way...