diff --git a/configs/freedom-k64f/README.txt b/configs/freedom-k64f/README.txt
index da219bad6ab..3a6184a138c 100644
--- a/configs/freedom-k64f/README.txt
+++ b/configs/freedom-k64f/README.txt
@@ -54,14 +54,8 @@ OpenSDAv2
 Serial Console
 ==============
 
-  The primary serial port interface signals are PTB16 UART1_RX and PTB17
-  UART1_TX. These signals are connected to the OpenSDAv2 circuit.
-
-  REVISIT: The above quote was taken from the "FRDM-K64F Freedom Module User’s
-  Guide". It appears from the "K64 Sub-Family Reference Manual" that the only
-  options for UART1 are {PTC3, PTE1} for UART1_RX and {PTC4, PTE0} for UART1_TX.
-
-  PTB16 and PTB17 are valid options for UART0, however.
+  The primary serial port interface signals are PTB16 UART0_RX and PTB17
+  UART0_TX. These signals are connected to the OpenSDAv2 circuit.
 
 LEDs and Buttons
 ================
diff --git a/configs/freedom-k64f/include/board.h b/configs/freedom-k64f/include/board.h
index 041edeb6b5c..624595324f2 100644
--- a/configs/freedom-k64f/include/board.h
+++ b/configs/freedom-k64f/include/board.h
@@ -198,16 +198,13 @@
  * maps to the correct alternative.
  */
 
-/* The primary serial port interface signals are PTB16 UART1_RX and PTB17 UART1_TX.
+/* The primary serial port interface signals are PTB16 UART0_RX and PTB17 UART0_TX.
  * These signals are connected to the OpenSDAv2 circuit.
- *
- * REVISIT: The above quote was taken from the "FRDM-K64F Freedom Module User’s
- * Guide". It appears from the "K64 Sub-Family Reference Manual" that the only
- * options for UART1 are {PTC3, PTE1} for UART1_RX and {PTC4, PTE0} for UART1_TX.
- *
- * PTB16 and PTB17 are valid options for UART0, however.
  */
 
+#define PIN_UART0_RX      PIN_UART0_RX_3
+#define PIN_UART0_TX      PIN_UART0_TX_3
+
 /************************************************************************************
  * Public Data
  ************************************************************************************/