diff --git a/configs/sama5d2-xult/README.txt b/configs/sama5d2-xult/README.txt
index e487fcbec0a..efd803f5c7c 100644
--- a/configs/sama5d2-xult/README.txt
+++ b/configs/sama5d2-xult/README.txt
@@ -803,11 +803,16 @@ Configurations
 
     NOTES:
 
-    1. This configuration uses the USART3 for the serial console
-       which is available at the "DBGU" RS-232 connector (J24).  That
-       is easily changed by reconfiguring to (1) enable a different
-       serial peripheral, and (2) selecting that serial peripheral as
-       the console device.
+    1. This configuration uses the FLEXCOM4 for the serial console.
+       REVISIT:  This was intended to support an Arduino serial shield,
+       however, I think there are be problems with the FLEXCOM4 pins
+       at the at the Arduino connector.
+
+       It might be better to switch to USART1 (PD3 and PD4) which is
+       available at the "DBGU" RS-232 connector (J24).  This is easily
+       changed by reconfiguring to (1) enable a different serial
+       peripheral, and (2) selecting that serial peripheral as the
+       console device.
 
     2. By default, this configuration is set up to build on Windows
        under either a Cygwin or MSYS environment using a recent, Windows-
diff --git a/libs/libc/stdio/Kconfig b/libs/libc/stdio/Kconfig
index 543a9699ad4..fc30f34bfaf 100644
--- a/libs/libc/stdio/Kconfig
+++ b/libs/libc/stdio/Kconfig
@@ -127,7 +127,8 @@ config NANO_PRINTF
 
 config NANO_PRINTLEVEL
 	int "Nano printf support level"
-	default 2
+	default 2 if !LIBC_FLOATINGPOINT
+	default 3 if LIBC_FLOATINGPOINT
 	range 1 2 if !LIBC_FLOATINGPOINT
 	range 1 3 if LIBC_FLOATINGPOINT
 	depends on NANO_PRINTF