configs/: update (see pp_printf_defconfig)

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

configs/etherbone_defconfig

 #
 # Automatically generated make config: don't edit
 #
+CONFIG_MPRINTF=y
+# CONFIG_PP_PRINTF is not set
 CONFIG_ETHERBONE=y
+# CONFIG_DETERMINISTIC_BINARY is not set
+CONFIG_PTP_NOPOSIX=y

configs/pp_printf_defconfig

+#
+# Automatically generated make config: don't edit
+#
+# CONFIG_MPRINTF is not set
+CONFIG_PP_PRINTF=y
+# CONFIG_PRINTF_FULL is not set
+CONFIG_PRINTF_XINT=y
+# CONFIG_PRINTF_MINI is not set
+# CONFIG_PRINTF_NONE is not set
+CONFIG_PRINT_BUFSIZE=128
+CONFIG_ETHERBONE=y
+CONFIG_DETERMINISTIC_BINARY=y
+CONFIG_PTP_NOPOSIX=y

configs/spec_defconfig

 #
 # Automatically generated make config: don't edit
 #
+CONFIG_MPRINTF=y
+# CONFIG_PP_PRINTF is not set
+# CONFIG_PRINTF_FULL is not set
+# CONFIG_PRINTF_XINT is not set
+# CONFIG_PRINTF_MINI is not set
+# CONFIG_PRINTF_NONE is not set
 # CONFIG_ETHERBONE is not set
+# CONFIG_DETERMINISTIC_BINARY is not set
+CONFIG_PTP_NOPOSIX=y