diederik@tradestation:~$ ls -l /etc/modprobe.d/
total 0
diederik@tradestation:~$ cat /etc/modules
# /etc/modules: kernel modules to load at boot time.
#
# This file contains the names of kernel modules that should be loaded
# at boot time, one per line. Lines beginning with "#" are ignored.

xen_pcifront
diederik@tradestation:~$ lsmod | grep amd
diederik@tradestation:~$ lsmod | grep xen
xen_pcifront           20480  0
xen_netfront           28672  0
xen_blkfront           36864  2
diederik@tradestation:~$ ls -l /boot/  
total 0