configs: add a configuration for spec with ppsi

This configuration reflects the final status at the end of this set of
patches, but as of this commit it cannot be used.

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

configs/spec_ppsi_defconfig

+#
+# Automatically generated make config: don't edit
+#
+CONFIG_RAMSIZE=90112
+# CONFIG_PTP_NOPOSIX is not set
+CONFIG_PPSI=y
+CONFIG_PPSI_VERBOSITY=0
+# CONFIG_PPSI_RUNTIME_VERBOSITY is not set
+CONFIG_STACKSIZE=2048
+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 is not set
+# CONFIG_DETERMINISTIC_BINARY is not set