---

echo "=== Thunderbolt / USB4 ==="
grep -E '^(CONFIG_USB4=|CONFIG_USB4_NET=|# CONFIG_USB4 is not set)' \
    /boot/config-7.2.8

echo "=== Intel Sensor Hub ==="
grep -E '^(CONFIG_INTEL_ISH_HID=|# CONFIG_INTEL_ISH_HID is not set)' \
    /boot/config-7.2.8

echo "=== Realtek Card Reader ==="
grep -E '^(CONFIG_MISC_RTSX_PCI=|CONFIG_MMC_REALTEK_PCI=|# CONFIG_MISC_RTSX_PCI is not set)' \
    /boot/config-7.2.8