Terry
FRDM-K64F uses these pins (it is however UART0).
To use a different UART you can set the value in the file app_hw_kinetis.h where you will find the UART defined by
#define DEMO_UART 0
You can change it to any other available UART (1..5)
However, there are various pin muxing options and you may need to match to your HW.
eg. if you choose UART 3 there is a default pin pair which can be optionally overwritten with defines like
//#define UART3_ON_B // alternative UART3 pin mapping
//#define UART3_ON_F // alternative UART3 pin mapping on port F
which will move them to port B or F as desired.
To see the choice, take a look in the routines fnTxOn() and fnRxOn() in kinetis_UART.h.
The options change to a degree for different processors and if you find a set missing it is simple to extend the choice - just add a new option in the style of
_CONFIG_PERIPHERAL(B, 17, (PB_17_UART0_TX | UART_PULL_UPS)); // UART0_TX on PB17 (alt. function 3)
eg. if there were a UART0_TX possibility on alternative function 6 on PTC19 (which there isn't in reality) one would add
_CONFIG_PERIPHERAL(C, 19, (PC_19_UART0_TX | UART_PULL_UPS)); // UART0_TX on PC19 (alt. function 6)
which requires PC_19_UART0_TX to be added to kinetis.h with the value PORT_MUX_ALT6.
Since (in this case) PC_19_UART0_TX is not a valid pin-out for UART0 it will never actually exist in (or be added to) the header) so trying to move to an inappropriate pin will always result in a build error (a build error is always better than an error on the board that then needs in circuit debugging to work out why).
I am however a little worried about the fact that mentioned a 24MHz clock in your design. The K64 NEEDS a 50MHz clock to be able to operate with Ethernet since it is used to synchronise the PHY with the Ethernet controller. Is this a possible reason why you had difficulties with your original SW?
In comparison: The K65/K66 has a new Ethernet clock input that can be used instead, which allows the processor itself to be clocked with 24MHz (for example) since its HW USB requires the 24MHz (or one of a couple of other potential frequencies) to be available to generate its internal HS USB clocks from. In this case the developers needed to allow the Ethernet to be decoupled from the CPU's clock so that the two requirements could be met at the same time.
Regards
Mark