I needed to find out what options my kernel was compiled with, quick Google and here is the answer:
cat /boot/config-$(uname -r)
$(uname -r) replaces itself with the name of your kernel.
There is a corresponding file called config- for each installed kernel in the /boot folder.
Find the option you want by piping it through grep with: