Thanks for all of your help. What I found out was that we do indeed need to recompile and create a customized kernel. I haven't have the chance to do that yet. Will keep you all posted.