kernel: use linux_additional.defconfig (#93)

Apply additional kernel settings:

- USB-TMC
- GS-USB
- USB Printer

VERSION

@@ -1 +1 @@
-0.25.3
+0.25.4

linux_additional.defconfig

@@ -1,33 +1,4 @@
-CONFIG_IP_NF_IPTABLES=y
-CONFIG_IP_NF_FILTER=y
 CONFIG_CAN=y
-CONFIG_CAN_MCP251X=m
 CONFIG_CAN_GS_USB=m
-CONFIG_BT=y
-CONFIG_BT_HCIBTUSB=y
-CONFIG_BT_HCIUART=y
-CONFIG_BT_HCIUART_H4=y
-CONFIG_BT_HCIUART_BCSP=y
-CONFIG_BT_HCIBCM203X=m
-CONFIG_PINCTRL_MCP23S08=y
-CONFIG_HID_CP2112=m
-CONFIG_F2FS_CHECK_FS=y
-CONFIG_XZ_DEC=m
-CONFIG_XZ_DEC_ARM=y
-CONFIG_XZ_DEC_ARMTHUMB=y
-CONFIG_XZ_DEC_BCJ=y
-CONFIG_NULL_TTY=y
-CONFIG_USB_UAS=y
-CONFIG_FS_IOMAP=y
-CONFIG_EXT4_FS=y
-CONFIG_EXT4_USE_FOR_EXT2=y
-# CONFIG_EXT4_FS_POSIX_ACL is not set
-# CONFIG_EXT4_FS_SECURITY is not set
-# CONFIG_EXT4_DEBUG is not set
-CONFIG_JBD2=y
-# CONFIG_JBD2_DEBUG is not set
-CONFIG_FS_MBCACHE=y
-CONFIG_CRYPTO_CRC32C=y
-CONFIG_TRIM_UNUSED_KSYMS=n
 CONFIG_USB_PRINTER=y
 CONFIG_USB_TMC=y

nerves_defconfig

@@ -35,6 +35,7 @@ BR2_LINUX_KERNEL_CUSTOM_TARBALL_LOCATION="https://github.com/raspberrypi/linux/a
 BR2_LINUX_KERNEL_PATCH="${NERVES_DEFCONFIG_DIR}/linux"
 BR2_LINUX_KERNEL_USE_CUSTOM_CONFIG=y
 BR2_LINUX_KERNEL_CUSTOM_CONFIG_FILE="${NERVES_DEFCONFIG_DIR}/linux-6.1.defconfig"
+BR2_LINUX_KERNEL_CONFIG_FRAGMENT_FILES="${NERVES_DEFCONFIG_DIR}/linux_additional.defconfig"
 BR2_LINUX_KERNEL_XZ=y
 BR2_LINUX_KERNEL_DTS_SUPPORT=y
 BR2_LINUX_KERNEL_INTREE_DTS_NAME="broadcom/bcm2711-rpi-4-b broadcom/bcm2711-rpi-cm4 broadcom/bcm2711-rpi-400"