Enable doublefault exception handler

modulename: doublefault.ko

configname: CONFIG_DOUBLEFAULT

Linux Kernel Configuration
└─>Kernel hacking
└─>Enable doublefault exception handler
In linux kernel since version 2.6.16 (release Date: 2006-03-19)  
This option allows trapping of rare doublefault exceptions that
would otherwise cause a system to silently reboot. Disabling this
option saves about 4k and might cause you much additional grey
hair.