information regarding can, can-dev kernel modules on Debian GNU/Linux 10 (buster) Linux 4.19.94-ti-r42

I seem to be missing a couple of kernel modules. Specifically, can and can_dev. The modules don't load when I run modprobe can or modprobe can-dev. The reason for this I believe is because the modules are not in the directory

-shellsession
[/lib/modules/4.19.94-ti-r42/kernel/drivers/net/can]$ ls
slcan.ko.xz  spi  usb  vcan.ko.xz

The only loaded CAN module is can_raw, which seems to work fine with SocketCAN. My problem is that I am trying to use [ValueCAN](https://intrepidcs.com/socketcan-vcan4/) which depends on the 2 modules. I tried downloading the kernel and when I ran menuconfig, I don't see the CAN modules. I have no idea how to proceed. The following is menuconfig selections.

--- CAN bus subsystem support   

        Raw CAN Protocol (raw access with CAN-ID filtering) 
         Broadcast Manager CAN Protocol (with content filtering)
         CAN Gateway/Router (with netlink configuration)      
            CAN Device Drivers  --->
    
       Virtual Local CAN Interface (vcan)                        
       Virtual CAN Tunnel (vxcan)                             
       Serial / USB serial CAN Adaptors (slcan)               
       Platform CAN drivers with Netlink support              
      [*]   CAN bit-timing calculation (NEW)                     
         Support for Freescale FLEXCAN based chips (NEW)      
         Aeroflex Gaisler GRCAN and GRHCAN CAN devices (NEW)  
         TI High End CAN Controller (NEW)                     
         Bosch C_CAN/D_CAN devices (NEW)  ----                
         Bosch CC770 and Intel AN82527 devices (NEW)  ----
         IFI CAN_FD IP (NEW)                                  
         Bosch M_CAN devices (NEW)                            
         Renesas R-Car CAN controller (NEW)                   
         Renesas R-Car CAN FD controller (NEW)                
         Philips/NXP SJA1000 devices (NEW)  ----              
         Softing Gmbh CAN generic support (NEW)               
            CAN SPI interfaces  --->                             
            CAN USB interfaces  --->                             
            [ ] CAN devices debugging messages (NEW)