diff --git a/configs/sama5d3-xplained/README.txt b/configs/sama5d3-xplained/README.txt
index 8683bd09342..ec18db86215 100644
--- a/configs/sama5d3-xplained/README.txt
+++ b/configs/sama5d3-xplained/README.txt
@@ -2564,11 +2564,6 @@ Tickless OS
   piece has a large error in the calculation.  The cumulative error is the
   cause of the problem.
 
-  Solution:  30.518 microseconds is not representable and the value of
-  CONFIG_USEC_PER_SEC is too inaccurate;  error build-up is throwing off
-  long delays (short delays are probably still okay).  We should driver
-  the interval timer with PCK6 with a period that is exactly representable.
-
   SAMA5 Timer Usage
   -----------------
   This current implementation uses two timers:  A one-shot timer to
diff --git a/configs/sama5d3x-ek/README.txt b/configs/sama5d3x-ek/README.txt
index 593a811c5c9..ea199cf0dee 100644
--- a/configs/sama5d3x-ek/README.txt
+++ b/configs/sama5d3x-ek/README.txt
@@ -2884,11 +2884,6 @@ Tickless OS
   piece has a large error in the calculation.  The cumulative error is the
   cause of the problem.
 
-  Solution:  30.518 microseconds is not representable and the value of
-  CONFIG_USEC_PER_SEC is too inaccurate;  error build-up is throwing off
-  long delays (short delays are probably still okay).  We should driver
-  the interval timer with PCK6 with a period that is exactly representable.
-
   SAMA5 Timer Usage
   -----------------
   This current implementation uses two timers:  A one-shot timer to
diff --git a/configs/sama5d4-ek/README.txt b/configs/sama5d4-ek/README.txt
index 8a6b69a6d15..f379986ca83 100644
--- a/configs/sama5d4-ek/README.txt
+++ b/configs/sama5d4-ek/README.txt
@@ -3392,11 +3392,6 @@ Tickless OS
   piece has a large error in the calculation.  The cumulative error is the
   cause of the problem.
 
-  Solution:  30.518 microseconds is not representable and the value of
-  CONFIG_USEC_PER_SEC is too inaccurate;  error build-up is throwing off
-  long delays (short delays are probably still okay).  We should driver
-  the interval timer with PCK6 with a period that is exactly representable.
-
   SAMA5 Timer Usage
   -----------------
   This current implementation uses two timers:  A one-shot timer to
diff --git a/configs/samv71-xult/include/board.h b/configs/samv71-xult/include/board.h
index 97a0195cc47..c4fa0c87c80 100644
--- a/configs/samv71-xult/include/board.h
+++ b/configs/samv71-xult/include/board.h
@@ -141,7 +141,7 @@
 #define BOARD_PLLA_FREQUENCY       (300000000) /* PLLACK:  25 * 12Mhz / 1 */
 #define BOARD_CPU_FREQUENCY        (300000000) /* CPU:     PLLACK / 1 */
 #define BOARD_MCK_FREQUENCY        (150000000) /* MCK:     PLLACK / 1 / 2 */
-#define BOARD_UPLL_FREQUENCY                   /* To be provided */
+#undef  BOARD_UPLL_FREQUENCY                   /* To be provided */
 
 /* HSMCI clocking
  *